Skip to content

Actions: cryspen/rust-core-models

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
92 workflow runs
92 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Add specs: loop, Array.eq CI #92: Pull request #7 synchronize by abentkamp
21m 39s specs
specs
21m 39s
Merge pull request #16 from cryspen/slice-fix CI #91: Commit 947805b pushed by abentkamp
20m 48s main
main
20m 48s
fix: comment out dummy Slice definition CI #90: Pull request #16 opened by abentkamp
21m 26s slice-fix
slice-fix
21m 26s
Add specs: loop, Array.eq CI #89: Pull request #7 synchronize by abentkamp
8m 14s specs
specs
8m 14s
Extensions CI #88: Pull request #15 synchronize by maximebuyse
19m 8s spqr-extensions
spqr-extensions
19m 8s
Extensions CI #87: Pull request #15 synchronize by maximebuyse
42m 54s spqr-extensions
spqr-extensions
42m 54s
Extensions CI #86: Pull request #15 synchronize by maximebuyse
20m 32s spqr-extensions
spqr-extensions
20m 32s
Extensions CI #85: Pull request #15 opened by maximebuyse
17m 55s spqr-extensions
spqr-extensions
17m 55s
Merge pull request #14 from cryspen/bump-aeneas CI #84: Commit c22543b pushed by abentkamp
44m 24s main
main
44m 24s
feat: update to latest cryspen/aeneas CI #83: Pull request #14 synchronize by abentkamp
45m 12s bump-aeneas
bump-aeneas
45m 12s
Merge pull request #10 from cryspen/computable CI #82: Commit 18b49c8 pushed by maximebuyse
17m 57s main
main
17m 57s
Merge pull request #12 from cryspen/patch-cleanup CI #81: Commit 7ea8146 pushed by maximebuyse
20m 2s main
main
20m 2s
Merge pull request #11 from cryspen/lean-restructure CI #80: Commit 4e4c40d pushed by maximebuyse
20m 15s main
main
20m 15s
Merge pull request #13 from cryspen/issues CI #79: Commit ccae446 pushed by maximebuyse
20m 1s main
main
20m 1s
Issue references CI #78: Pull request #13 opened by abentkamp
20m 30s issues
issues
20m 30s
refactor(lean): move hax_lib and rust_primitives into their own dir CI #77: Pull request #11 synchronize by abentkamp
19m 47s lean-restructure
lean-restructure
19m 47s
Patch cleanup CI #76: Pull request #12 opened by abentkamp
20m 8s patch-cleanup
patch-cleanup
20m 8s
refactor(lean): move hax_lib and rust_primitives into their own dir CI #75: Pull request #11 synchronize by abentkamp
2m 27s lean-restructure
lean-restructure
2m 27s
refactor(lean): move hax_lib and rust_primitives into their own dir CI #74: Pull request #11 opened by abentkamp
2m 34s lean-restructure
lean-restructure
2m 34s
feat: remove the noncomputable tag CI #73: Pull request #10 opened by abentkamp
17m 28s computable
computable
17m 28s
Merge pull request #2 from cryspen/step CI #72: Commit fb2dc0f pushed by abentkamp
43m 5s main
main
43m 5s
Merge pull request #5 from cryspen/lean-tests CI #71: Commit 67c9e02 pushed by maximebuyse
20m 5s main
main
20m 5s
Lean core-lib tests CI #70: Pull request #5 synchronize by maximebuyse
19m 45s lean-tests
lean-tests
19m 45s
Lean core-lib tests CI #69: Pull request #5 synchronize by maximebuyse
55s lean-tests
lean-tests
55s
Lean core-lib tests CI #68: Pull request #5 synchronize by maximebuyse
19m 31s lean-tests
lean-tests
19m 31s