Skip to content

Actions: cryspen/rust-core-models

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
54 workflow runs
54 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
Lean core-lib tests CI #54: Pull request #5 synchronize by maximebuyse
13m 29s lean-tests
lean-tests
13m 29s
Lean core-lib tests CI #53: Pull request #5 opened by maximebuyse
58s lean-tests
lean-tests
58s
Merge pull request #4 from cryspen/bump CI #52: Commit afded66 pushed by maximebuyse
15m 48s main
main
15m 48s
chore: bump to Lean v4.30.0-rc2 CI #51: Pull request #4 opened by abentkamp
14m 52s bump
bump
14m 52s
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