main

ci: move mkdir to avoid permission error #211

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on ubuntu-24.04 using GHC 9.6.6	1m 7s
Build on ubuntu-24.04 using GHC 9.6.6	1m 7s
Build on ubuntu-24.04 using GHC 9.6.6	1m 7s
Build on ubuntu-24.04 using GHC 9.6.6	1m 7s
Build on macos-15 using GHC 9.6.6	3m 36s
Build on macos-15 using GHC 9.6.6	3m 36s
Build on macos-15 using GHC 9.6.6	3m 36s
Build on macos-15 using GHC 9.6.6	3m 36s
Build on windows-2022 using GHC 9.6.6	5m 45s
Build on windows-2022 using GHC 9.6.6	5m 45s
Build on windows-2022 using GHC 9.6.6	5m 45s
Build on windows-2022 using GHC 9.6.6	5m 45s
Create release	8s
Create release	8s
Create release	8s
Create release	8s
Smoke test on ubuntu-24.04	4s
Smoke test on ubuntu-24.04	15s
Smoke test on ubuntu-24.04	15s
Smoke test on ubuntu-24.04	15s
Smoke test on macos-15	10s
Smoke test on macos-15	10s
Smoke test on macos-15	18s
Smoke test on macos-15	18s
Smoke test on windows-2022	28s
Smoke test on windows-2022	28s
Smoke test on windows-2022	28s
Smoke test on windows-2022	29s
	46m 2s