Skip to content

Actions: input-output-hk/devx

Actions

Prebuild DevX closures

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
17 workflow run results
17 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Wait and upload for Hydra (#99) Prebuild DevX closures #236: Commit bd723cf pushed by github-merge-queue bot
September 11, 2023 23:15 6h 0m 29s main
main
September 11, 2023 23:15 6h 0m 29s
Prebuild DevX closures Prebuild DevX closures #235: Manually run by angerman
September 11, 2023 07:42 16m 36s 98-fix-main-jobs-that-fail-with-the-ghcrio-upload
98-fix-main-jobs-that-fail-with-the-ghcrio-upload
September 11, 2023 07:42 16m 36s
Prebuild DevX closures Prebuild DevX closures #234: Manually run by angerman
September 11, 2023 03:28 51m 45s 98-fix-main-jobs-that-fail-with-the-ghcrio-upload
98-fix-main-jobs-that-fail-with-the-ghcrio-upload
September 11, 2023 03:28 51m 45s
Prebuild DevX closures Prebuild DevX closures #233: Manually run by angerman
September 11, 2023 02:58 1m 37s 98-fix-main-jobs-that-fail-with-the-ghcrio-upload
98-fix-main-jobs-that-fail-with-the-ghcrio-upload
September 11, 2023 02:58 1m 37s
Prebuild DevX closures Prebuild DevX closures #232: Manually run by angerman
September 11, 2023 02:20 14s 98-fix-main-jobs-that-fail-with-the-ghcrio-upload
98-fix-main-jobs-that-fail-with-the-ghcrio-upload
September 11, 2023 02:20 14s
Prebuild DevX closures Prebuild DevX closures #231: Manually run by angerman
September 10, 2023 08:12 6h 0m 23s 98-fix-main-jobs-that-fail-with-the-ghcrio-upload
98-fix-main-jobs-that-fail-with-the-ghcrio-upload
September 10, 2023 08:12 6h 0m 23s
Prebuild DevX closures Prebuild DevX closures #230: Manually run by angerman
September 10, 2023 08:10 10s 98-fix-main-jobs-that-fail-with-the-ghcrio-upload
98-fix-main-jobs-that-fail-with-the-ghcrio-upload
September 10, 2023 08:10 10s
Prebuild DevX closures Prebuild DevX closures #229: Manually run by angerman
September 9, 2023 11:47 6h 0m 27s 98-fix-main-jobs-that-fail-with-the-ghcrio-upload
98-fix-main-jobs-that-fail-with-the-ghcrio-upload
September 9, 2023 11:47 6h 0m 27s
Prebuild DevX closures Prebuild DevX closures #228: Manually run by angerman
September 9, 2023 11:23 1m 4s 98-fix-main-jobs-that-fail-with-the-ghcrio-upload
98-fix-main-jobs-that-fail-with-the-ghcrio-upload
September 9, 2023 11:23 1m 4s
Prebuild DevX closures Prebuild DevX closures #227: Manually run by angerman
September 9, 2023 10:37 13m 40s 98-fix-main-jobs-that-fail-with-the-ghcrio-upload
98-fix-main-jobs-that-fail-with-the-ghcrio-upload
September 9, 2023 10:37 13m 40s
Prebuild DevX closures Prebuild DevX closures #226: Manually run by angerman
September 9, 2023 10:31 6m 35s 98-fix-main-jobs-that-fail-with-the-ghcrio-upload
98-fix-main-jobs-that-fail-with-the-ghcrio-upload
September 9, 2023 10:31 6m 35s
Prebuild DevX closures Prebuild DevX closures #225: Manually run by angerman
September 9, 2023 09:28 11m 50s 98-fix-main-jobs-that-fail-with-the-ghcrio-upload
98-fix-main-jobs-that-fail-with-the-ghcrio-upload
September 9, 2023 09:28 11m 50s
Prebuild DevX closures Prebuild DevX closures #224: Manually run by angerman
September 9, 2023 07:14 12m 25s 98-fix-main-jobs-that-fail-with-the-ghcrio-upload
98-fix-main-jobs-that-fail-with-the-ghcrio-upload
September 9, 2023 07:14 12m 25s
Prebuild DevX closures Prebuild DevX closures #223: Manually run by angerman
September 9, 2023 07:13 1m 59s 98-fix-main-jobs-that-fail-with-the-ghcrio-upload
98-fix-main-jobs-that-fail-with-the-ghcrio-upload
September 9, 2023 07:13 1m 59s
Expose CABAL_PROJECT_LOCAL_TEMPLATE as a /nix/store/ file (#97) Prebuild DevX closures #222: Commit 3fef25f pushed by github-merge-queue bot
September 8, 2023 06:31 9m 15s main
main
September 8, 2023 06:31 9m 15s
Run tests with wine by default (#53) Prebuild DevX closures #221: Commit 91cba01 pushed by github-merge-queue bot
September 8, 2023 01:37 19m 12s main
main
September 8, 2023 01:37 19m 12s
Update HLS to version 2.0 (#96) Prebuild DevX closures #220: Commit f87e924 pushed by github-merge-queue bot
August 29, 2023 02:53 10m 0s main
main
August 29, 2023 02:53 10m 0s