Skip to content

Actions: cryspen/hax

Actions

Test Workspace

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat: use generated spec in loop_equivalence example Test Workspace #6596: Pull request #2061 synchronize by abentkamp
2m 54s fix_loop_equivalence_example
fix_loop_equivalence_example
2m 54s
feat: use generated spec in loop_equivalence example Test Workspace #6595: Pull request #2061 synchronize by abentkamp
50s fix_loop_equivalence_example
fix_loop_equivalence_example
50s
Merge pull request #2095 from cryspen/fix/2026-lean-annotations-break… Test Workspace #6594: Commit 39413ae pushed by github-merge-queue Bot
3m 16s main
main
3m 16s
Test Workspace Test Workspace #6593: Merge group checks requested
2m 44s
2m 44s
Tool version management Test Workspace #6592: Pull request #2085 synchronize by treiher
5m 53s tool-version-management
tool-version-management
5m 53s
fix(hax-lib): resolve Self::Assoc in generated pre/post-conditions. Test Workspace #6591: Pull request #2096 synchronize by maximebuyse
2m 55s fix/2089-self-assoc-type-in-trait-attributes
fix/2089-self-assoc-type-in-trait-attributes
2m 55s
fix(hax-lib): resolve Self::Assoc in generated pre/post-conditions. Test Workspace #6590: Pull request #2096 opened by maximebuyse
2m 46s fix/2089-self-assoc-type-in-trait-attributes
fix/2089-self-assoc-type-in-trait-attributes
2m 46s
Merge pull request #2094 from cryspen/fix-ci-aeneas-cache Test Workspace #6589: Commit 876b55e pushed by github-merge-queue Bot
2m 32s main
main
2m 32s
fix(engine): lazy resolution of UIDs to avoid crashes. Test Workspace #6588: Pull request #2095 opened by maximebuyse
3m 18s fix/2026-lean-annotations-break-fstar
fix/2026-lean-annotations-break-fstar
3m 18s
Merge pull request #2093 from cryspen/reformulate-sha3 Test Workspace #6587: Commit f2f2cb0 pushed by github-merge-queue Bot
2m 24s main
main
2m 24s
Test Workspace Test Workspace #6586: Merge group checks requested
2m 49s
2m 49s
Test Workspace Test Workspace #6585: Merge group checks requested
2m 58s
2m 58s
ci: use Aeneas's olean cache Test Workspace #6584: Pull request #2094 opened by abentkamp
2m 45s fix-ci-aeneas-cache
fix-ci-aeneas-cache
2m 45s
docs: do not call the sha3 specification an "implementation" Test Workspace #6583: Pull request #2093 opened by abentkamp
2m 44s reformulate-sha3
reformulate-sha3
2m 44s
feat: fix aeneas install on macos Test Workspace #6582: Pull request #2091 synchronize by abentkamp
2m 45s fix-macos-aeneas-install
fix-macos-aeneas-install
2m 45s
Merge pull request #2086 from cryspen/core-models-various-extensions Test Workspace #6581: Commit 2fedcb2 pushed by github-merge-queue Bot
2m 37s main
main
2m 37s
Test Workspace Test Workspace #6580: Merge group checks requested
4m 10s
4m 10s
Tool version management Test Workspace #6579: Pull request #2085 synchronize by treiher
5m 36s tool-version-management
tool-version-management
5m 36s
chore: fix rustdoc build. Test Workspace #6578: Pull request #2092 opened by maximebuyse
3m 8s fix-rustdoc-build
fix-rustdoc-build
3m 8s
feat: fix aeneas install on macos Test Workspace #6577: Pull request #2091 opened by abentkamp
3m 3s fix-macos-aeneas-install
fix-macos-aeneas-install
3m 3s
feat: Fall back to internal hax-lean lib when no pin is present Test Workspace #6576: Pull request #2090 opened by abentkamp
3m 2s hax-lean-pin
hax-lean-pin
3m 2s
Tool version management Test Workspace #6575: Pull request #2085 synchronize by treiher
2m 8s tool-version-management
tool-version-management
2m 8s
Core models extensions. Test Workspace #6574: Pull request #2086 synchronize by maximebuyse
2m 59s core-models-various-extensions
core-models-various-extensions
2m 59s
Core models extensions. Test Workspace #6573: Pull request #2086 synchronize by maximebuyse
2m 58s core-models-various-extensions
core-models-various-extensions
2m 58s
Core models extensions. Test Workspace #6572: Pull request #2086 synchronize by maximebuyse
2m 44s core-models-various-extensions
core-models-various-extensions
2m 44s