Skip to content

Actions: cryspen/rust-core-models

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
50 workflow runs
50 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
feat: add Step, Step instances, mixed sign tryFrom, some arithmetic CI #50: Pull request #2 synchronize by abentkamp
5m 4s step
step
5m 4s
Merge pull request #3 from cryspen/fix-integers-try-from CI #49: Commit e16a6e3 pushed by maximebuyse
30m 58s main
main
30m 58s
Fix integers try from CI #48: Pull request #3 synchronize by maximebuyse
4m 27s fix-integers-try-from
fix-integers-try-from
4m 27s
Fix integers try from CI #47: Pull request #3 synchronize by maximebuyse
4m 26s fix-integers-try-from
fix-integers-try-from
4m 26s
Fix integers try from CI #46: Pull request #3 synchronize by maximebuyse
28m 4s fix-integers-try-from
fix-integers-try-from
28m 4s
Fix integers try from CI #45: Pull request #3 opened by maximebuyse
28s fix-integers-try-from
fix-integers-try-from
28s
feat: add Step, Step instances, mixed sign tryFrom, some arithmetic CI #44: Pull request #2 opened by abentkamp
4m 45s step
step
4m 45s
remove private defs CI #43: Commit b67ccf1 pushed by abentkamp
40m 21s main
main
40m 21s
Merge pull request #1 from cryspen/consistent-names CI #42: Commit ab869f0 pushed by abentkamp
40m 15s main
main
40m 15s
use new aeneas -core-models-lib option for consistent names CI #41: Pull request #1 synchronize by abentkamp
14m 49s consistent-names
consistent-names
14m 49s
use new aeneas -core-models-lib option for consistent names CI #40: Pull request #1 synchronize by abentkamp
7m 7s consistent-names
consistent-names
7m 7s
use new aeneas -core-models-lib option for consistent names CI #39: Pull request #1 synchronize by abentkamp
6m 37s consistent-names
consistent-names
6m 37s
use new aeneas -core-models-lib option for consistent names CI #38: Pull request #1 synchronize by abentkamp
7m 37s consistent-names
consistent-names
7m 37s
use new aeneas -core-models-lib option for consistent names CI #37: Pull request #1 synchronize by abentkamp
7m 29s consistent-names
consistent-names
7m 29s
use new aeneas -core-models-lib option for consistent names CI #36: Pull request #1 synchronize by abentkamp
30m 34s consistent-names
consistent-names
30m 34s
use new aeneas -core-models-lib option for consistent names CI #35: Pull request #1 opened by abentkamp
7m 39s consistent-names
consistent-names
7m 39s
add alias for PartialEqU8 etc CI #34: Commit b6f5096 pushed by abentkamp
6m 44s main
main
6m 44s
Add core.array.equality.PartialEqArray.eq, core.array.CloneArray.clone CI #33: Commit 4761ae0 pushed by abentkamp
7m 2s main
main
7m 2s
make core.convert.num.FromU16U8.from etc pure CI #32: Commit 8e1f822 pushed by abentkamp
6m 59s main
main
6m 59s
add from redirects CI #31: Commit bd333ec pushed by abentkamp
7m 10s main
main
7m 10s
use aeneas branch with mvcgen specs CI #30: Commit bfffc99 pushed by abentkamp
7m 24s main
main
7m 24s
exclude def that Aeneas can't extract CI #29: Commit f4ec353 pushed by abentkamp
4m 7s main
main
4m 7s
Implement FunsExternal.lean axioms with concrete defs CI #28: Commit 48341bd pushed by abentkamp
4m 25s main
main
4m 25s
clean up patch_lean.py CI #27: Commit 480c9c9 pushed by abentkamp
4m 34s main
main
4m 34s
fix CI CI #26: Commit 397cf79 pushed by abentkamp
6m 6s main
main
6m 6s