Skip to content

Actions: Inria-Prosecco/circus-green

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
367 workflow runs
367 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Don't just build packages, also run tests .github/workflows/nightly.yml #251: Commit 8e7e9cc pushed by Nadrieril
November 20, 2024 10:24 14m 14s run-checks
run-checks
November 20, 2024 10:24 14m 14s
Don't just build packages, also run tests .github/workflows/nightly.yml #250: Commit 07d6f5b pushed by Nadrieril
November 20, 2024 10:23 36s run-checks
run-checks
November 20, 2024 10:23 36s
Don't just build packages, also run tests .github/workflows/nightly.yml #249: Commit 96edfb5 pushed by Nadrieril
November 20, 2024 10:22 1m 53s run-checks
run-checks
November 20, 2024 10:22 1m 53s
.github/workflows/nightly.yml .github/workflows/nightly.yml #248: Scheduled
November 20, 2024 01:11 2m 27s main
main
November 20, 2024 01:11 2m 27s
.github/workflows/nightly.yml .github/workflows/nightly.yml #247: Manually run by Nadrieril
November 19, 2024 14:57 2m 36s main
main
November 19, 2024 14:57 2m 36s
Dedup flake-utils input .github/workflows/nightly.yml #246: Commit 53106fb pushed by Nadrieril
November 19, 2024 14:46 2m 35s dedup-flake
dedup-flake
November 19, 2024 14:46 2m 35s
Dedup crane input .github/workflows/nightly.yml #245: Commit e0f45ed pushed by Nadrieril
November 19, 2024 14:18 17m 22s dedup-flake
dedup-flake
November 19, 2024 14:18 17m 22s
Dedup crane .github/workflows/nightly.yml #244: Commit c9a81b1 pushed by Nadrieril
November 19, 2024 14:18 35s dedup-flake
dedup-flake
November 19, 2024 14:18 35s
Deduplicate some flake inputs .github/workflows/nightly.yml #243: Commit a3113cc pushed by Nadrieril
November 19, 2024 13:07 15m 45s dedup-flake
dedup-flake
November 19, 2024 13:07 15m 45s
Deduplicate some flake inputs .github/workflows/nightly.yml #242: Commit f659621 pushed by Nadrieril
November 19, 2024 13:01 2m 34s dedup-flake
dedup-flake
November 19, 2024 13:01 2m 34s
Deduplicate some more .github/workflows/nightly.yml #241: Commit f208f8d pushed by Nadrieril
November 19, 2024 12:58 2m 55s dedup-flake
dedup-flake
November 19, 2024 12:58 2m 55s
.github/workflows/nightly.yml .github/workflows/nightly.yml #240: Manually run by Nadrieril
November 19, 2024 09:58 11m 24s main
main
November 19, 2024 09:58 11m 24s
.github/workflows/nightly.yml .github/workflows/nightly.yml #239: Scheduled
November 19, 2024 01:12 14m 47s main
main
November 19, 2024 01:12 14m 47s
.github/workflows/nightly.yml .github/workflows/nightly.yml #238: Scheduled
November 18, 2024 01:13 53m 46s main
main
November 18, 2024 01:13 53m 46s
.github/workflows/nightly.yml .github/workflows/nightly.yml #237: Scheduled
November 17, 2024 01:15 9m 54s main
main
November 17, 2024 01:15 9m 54s
.github/workflows/nightly.yml .github/workflows/nightly.yml #236: Scheduled
November 16, 2024 01:10 7m 55s main
main
November 16, 2024 01:10 7m 55s
.github/workflows/nightly.yml .github/workflows/nightly.yml #235: Scheduled
November 15, 2024 01:12 2m 29s main
main
November 15, 2024 01:12 2m 29s
Generate a Cargo.lock file for libcrux .github/workflows/nightly.yml #234: Commit 59fb646 pushed by Nadrieril
November 14, 2024 14:30 14m 53s libcrux-cargo-lock
libcrux-cargo-lock
November 14, 2024 14:30 14m 53s
.github/workflows/nightly.yml .github/workflows/nightly.yml #233: Manually run by Nadrieril
November 14, 2024 14:15 9m 29s main
main
November 14, 2024 14:15 9m 29s
Only push to main in the cron job .github/workflows/nightly.yml #232: Commit 82abf3b pushed by Nadrieril
November 14, 2024 14:05 9m 5s catch-push-failures
catch-push-failures
November 14, 2024 14:05 9m 5s
Generate a Cargo.lock file for libcrux .github/workflows/nightly.yml #231: Commit 3f434c1 pushed by Nadrieril
November 14, 2024 10:05 2m 38s libcrux-cargo-lock
libcrux-cargo-lock
November 14, 2024 10:05 2m 38s
Generate a Cargo.lock file for libcrux .github/workflows/nightly.yml #230: Commit 08bbe89 pushed by Nadrieril
November 14, 2024 10:02 1m 10s libcrux-cargo-lock
libcrux-cargo-lock
November 14, 2024 10:02 1m 10s
.github/workflows/nightly.yml .github/workflows/nightly.yml #229: Manually run by Nadrieril
November 14, 2024 09:52 2m 41s main
main
November 14, 2024 09:52 2m 41s
Generate a Cargo.lock file for libcrux .github/workflows/nightly.yml #228: Commit dffa9b3 pushed by Nadrieril
November 14, 2024 09:51 1m 4s libcrux-cargo-lock
libcrux-cargo-lock
November 14, 2024 09:51 1m 4s
Rework CI .github/workflows/nightly.yml #227: Commit a53f6fa pushed by Nadrieril
November 14, 2024 09:36 1m 57s rework-ci
rework-ci
November 14, 2024 09:36 1m 57s