Skip to content

Actions: cryspen/hax

Actions

Install & test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
install_and_test.yml
2,779 workflow runs
2,779 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix(engine) Make sure origins are renamed in bundles. Install & test #3778: Pull request #1284 opened by maximebuyse
February 3, 2025 14:11 21m 26s fix-raw-fstar-bundle
fix-raw-fstar-bundle
February 3, 2025 14:11 21m 26s
Merge pull request #1282 from cryspen/update-ci-deps Install & test #3777: Commit f776d05 pushed by github-merge-queue bot
February 3, 2025 14:07 15m 21s main
main
February 3, 2025 14:07 15m 21s
Install & test Install & test #3776: Merge group checks requested
February 3, 2025 13:23 20m 53s
February 3, 2025 13:23 20m 53s
Update CI dependencies Install & test #3775: Pull request #1282 opened by W95Psp
February 3, 2025 10:58 15m 21s update-ci-deps
update-ci-deps
February 3, 2025 10:58 15m 21s
Merge pull request #1281 from cryspen/ml-dsa-lib-additions Install & test #3774: Commit 8381810 pushed by github-merge-queue bot
February 3, 2025 10:39 17m 40s main
main
February 3, 2025 10:39 17m 40s
Install & test Install & test #3773: Merge group checks requested
February 3, 2025 09:56 26m 59s
February 3, 2025 09:56 26m 59s
Library additions for ML-DSA verification Install & test #3772: Pull request #1281 synchronize by karthikbhargavan
February 3, 2025 09:22 20m 53s ml-dsa-lib-additions
ml-dsa-lib-additions
February 3, 2025 09:22 20m 53s
Library additions for ML-DSA verification Install & test #3771: Pull request #1281 synchronize by karthikbhargavan
February 3, 2025 09:05 20m 59s ml-dsa-lib-additions
ml-dsa-lib-additions
February 3, 2025 09:05 20m 59s
Library additions for ML-DSA verification Install & test #3770: Pull request #1281 opened by karthikbhargavan
February 3, 2025 09:05 21m 33s ml-dsa-lib-additions
ml-dsa-lib-additions
February 3, 2025 09:05 21m 33s
Merge pull request #1280 from cryspen/fix-crash-bundle-disambiguation Install & test #3769: Commit aaeb36b pushed by github-merge-queue bot
February 3, 2025 07:50 14m 31s main
main
February 3, 2025 07:50 14m 31s
Install & test Install & test #3768: Merge group checks requested
February 3, 2025 07:07 25m 9s
February 3, 2025 07:07 25m 9s
fix(engine) Add default case for disambiguation of bundle element names Install & test #3767: Pull request #1280 synchronize by maximebuyse
January 30, 2025 16:45 21m 5s fix-crash-bundle-disambiguation
fix-crash-bundle-disambiguation
January 30, 2025 16:45 21m 5s
fix(engine) Add default case for disambiguation of bundle element names Install & test #3766: Pull request #1280 opened by maximebuyse
January 30, 2025 15:05 21m 37s fix-crash-bundle-disambiguation
fix-crash-bundle-disambiguation
January 30, 2025 15:05 21m 37s
Merge pull request #1199 from cryspen/rework-name-repr Install & test #3765: Commit 3d2cbc0 pushed by W95Psp
January 30, 2025 14:20 14m 55s main
main
January 30, 2025 14:20 14m 55s
Install & test Install & test #3764: Merge group checks requested
January 30, 2025 14:17 14m 50s
January 30, 2025 14:17 14m 50s
Install & test Install & test #3763: Merge group checks requested
January 30, 2025 13:31 22m 7s
January 30, 2025 13:31 22m 7s
Engine: rework global name representation Install & test #3762: Pull request #1199 synchronize by maximebuyse
January 30, 2025 13:07 21m 17s rework-name-repr
rework-name-repr
January 30, 2025 13:07 21m 17s
Merge pull request #1278 from cryspen/drop-magic-nix-cache Install & test #3761: Commit c7c611f pushed by github-merge-queue bot
January 30, 2025 12:16 13m 20s main
main
January 30, 2025 12:16 13m 20s
Install & test Install & test #3760: Merge group checks requested
January 30, 2025 11:33 13m 58s
January 30, 2025 11:33 13m 58s
Merge pull request #1273 from cryspen/various-core-additions Install & test #3759: Commit 9eacd04 pushed by github-merge-queue bot
January 30, 2025 11:09 8m 22s main
main
January 30, 2025 11:09 8m 22s
Merge pull request #1277 from cryspen/fix-docs-playground Install & test #3758: Commit dca12c9 pushed by github-merge-queue bot
January 30, 2025 10:50 9m 45s main
main
January 30, 2025 10:50 9m 45s
Install & test Install & test #3757: Merge group checks requested
January 30, 2025 10:34 8m 2s
January 30, 2025 10:34 8m 2s
ci(gha): drop magic-nix-cache action because of EOL Install & test #3756: Pull request #1278 opened by W95Psp
January 30, 2025 10:19 17m 25s drop-magic-nix-cache
drop-magic-nix-cache
January 30, 2025 10:19 17m 25s
Install & test Install & test #3755: Merge group checks requested
January 30, 2025 10:14 11m 53s
January 30, 2025 10:14 11m 53s
Engine: rework global name representation Install & test #3754: Pull request #1199 synchronize by maximebuyse
January 30, 2025 10:14 16m 27s rework-name-repr
rework-name-repr
January 30, 2025 10:14 16m 27s