Skip to content

Actions: hacspec/hax

Actions

Test Workspace

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
2,878 workflow runs
2,878 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix(engine) Attempt to fix double return bug. Test Workspace #3664: Pull request #1223 synchronize by maximebuyse
January 9, 2025 17:09 3m 29s fix-double-return
fix-double-return
January 9, 2025 17:09 3m 29s
fix(engine) Attempt to fix double return bug. Test Workspace #3663: Pull request #1223 synchronize by maximebuyse
January 9, 2025 14:51 3m 55s fix-double-return
fix-double-return
January 9, 2025 14:51 3m 55s
fix(engine) Attempt to fix double return bug. Test Workspace #3662: Pull request #1223 opened by maximebuyse
January 9, 2025 09:55 3m 10s fix-double-return
fix-double-return
January 9, 2025 09:55 3m 10s
Make predicate handling a bit more consistent Test Workspace #3661: Pull request #1222 opened by Nadrieril
January 8, 2025 14:09 4m 8s Nadrieril:fix-more-generics
Nadrieril:fix-more-generics
January 8, 2025 14:09 4m 8s
feat(lib) New sandwich core changes Test Workspace #3660: Pull request #1192 synchronize by maximebuyse
January 8, 2025 13:39 4m 56s new-sandwich-core-changes
new-sandwich-core-changes
January 8, 2025 13:39 4m 56s
Merge pull request #1220 from hacspec/fix-1218 Test Workspace #3659: Commit 98ded93 pushed by github-merge-queue bot
January 7, 2025 10:30 4m 23s main
main
January 7, 2025 10:30 4m 23s
Test Workspace Test Workspace #3658: Merge group checks requested
January 7, 2025 10:11 2m 57s
January 7, 2025 10:11 2m 57s
Visit trait goals to rename impl expr they may contain. Test Workspace #3657: Pull request #1220 opened by maximebuyse
January 7, 2025 09:51 4m 7s fix-1218
fix-1218
January 7, 2025 09:51 4m 7s
Merge pull request #1215 from Nadrieril/fix-call-generics Test Workspace #3656: Commit 4d7cbff pushed by github-merge-queue bot
January 6, 2025 15:46 3m 47s main
main
January 6, 2025 15:46 3m 47s
Test Workspace Test Workspace #3655: Merge group checks requested
January 6, 2025 15:26 6m 32s
January 6, 2025 15:26 6m 32s
Fix generics handling for function calls Test Workspace #3654: Pull request #1215 synchronize by Nadrieril
January 6, 2025 15:06 3m 52s Nadrieril:fix-call-generics
Nadrieril:fix-call-generics
January 6, 2025 15:06 3m 52s
Merge pull request #1216 from hacspec/W95Psp-patch-readme Test Workspace #3653: Commit 52ad1f9 pushed by github-merge-queue bot
January 6, 2025 13:42 3m 40s main
main
January 6, 2025 13:42 3m 40s
Test Workspace Test Workspace #3652: Merge group checks requested
January 6, 2025 13:24 2m 44s
January 6, 2025 13:24 2m 44s
Update README.md: unsafe is OK to use Test Workspace #3651: Pull request #1216 synchronize by W95Psp
January 6, 2025 13:10 4m 35s W95Psp-patch-readme
W95Psp-patch-readme
January 6, 2025 13:10 4m 35s
Merge pull request #1206 from hacspec/fix-visitors-quote Test Workspace #3650: Commit ffcd803 pushed by github-merge-queue bot
January 6, 2025 11:20 3m 58s main
main
January 6, 2025 11:20 3m 58s
Update README.md: unsafe is OK to use Test Workspace #3649: Pull request #1216 opened by W95Psp
January 6, 2025 11:19 3m 0s W95Psp-patch-readme
W95Psp-patch-readme
January 6, 2025 11:19 3m 0s
Test Workspace Test Workspace #3648: Merge group checks requested
January 6, 2025 11:00 3m 15s
January 6, 2025 11:00 3m 15s
fix(engine) Make sub-parts of Quote visited by visitors Test Workspace #3647: Pull request #1206 synchronize by maximebuyse
January 6, 2025 10:32 6m 24s fix-visitors-quote
fix-visitors-quote
January 6, 2025 10:32 6m 24s
Merge pull request #1212 from hacspec/fix-mlkem-ci-fstar Test Workspace #3646: Commit b2f930b pushed by github-merge-queue bot
January 6, 2025 10:28 5m 1s main
main
January 6, 2025 10:28 5m 1s
Test Workspace Test Workspace #3645: Merge group checks requested
January 6, 2025 10:09 6m 28s
January 6, 2025 10:09 6m 28s
fix(CI) Update F* version to fix mlkem CI job Test Workspace #3644: Pull request #1212 synchronize by maximebuyse
January 6, 2025 09:55 5m 0s fix-mlkem-ci-fstar
fix-mlkem-ci-fstar
January 6, 2025 09:55 5m 0s
Fix generics handling for function calls Test Workspace #3643: Pull request #1215 opened by Nadrieril
December 31, 2024 13:53 7m 38s Nadrieril:fix-call-generics
Nadrieril:fix-call-generics
December 31, 2024 13:53 7m 38s
fix(CI) Update F* version to fix mlkem CI job Test Workspace #3642: Pull request #1212 opened by maximebuyse
December 24, 2024 15:32 4m 15s fix-mlkem-ci-fstar
fix-mlkem-ci-fstar
December 24, 2024 15:32 4m 15s
Merge pull request #1208 from hacspec/ascribe-match-scrutinees Test Workspace #3641: Commit f47b2ae pushed by github-merge-queue bot
December 24, 2024 13:42 3m 33s main
main
December 24, 2024 13:42 3m 33s
Test Workspace Test Workspace #3640: Merge group checks requested
December 24, 2024 13:24 4m 33s
December 24, 2024 13:24 4m 33s