Skip to content

Actions: leanprover/SampCert

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
82 workflow runs
82 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
chore: Update Lean to v4.34.1 (#84) Build and deploy documentation to Pages #34: Commit a2c53bb pushed by markusdemedeiros
46m 46s main
main
46m 46s
chore: Update Lean to v4.34.1 (#84) Verify #595: Commit a2c53bb pushed by markusdemedeiros
8m 8s main
main
8m 8s
chore: Update Lean to v4.34.1 (#84) Test FFI #238: Commit a2c53bb pushed by markusdemedeiros
8m 42s main
main
8m 42s
chore: Update Lean to v4.34.1 Verify #594: Pull request #84 opened by markusdemedeiros
7m 49s update-4.34
update-4.34
7m 49s
chore: Update Lean to v4.34.1 Test FFI #237: Pull request #84 opened by markusdemedeiros
11m 1s update-4.34
update-4.34
11m 1s
chore: update Lean to v4.33.1 (#83) Test FFI #236: Commit e85bd64 pushed by markusdemedeiros
9m 55s main
main
9m 55s
chore: update Lean to v4.33.1 (#83) Build and deploy documentation to Pages #33: Commit e85bd64 pushed by markusdemedeiros
1h 0m 3s main
main
1h 0m 3s
chore: update Lean to v4.33.1 (#83) Verify #593: Commit e85bd64 pushed by markusdemedeiros
18m 50s main
main
18m 50s
chore: update Lean to v4.33.1 Test FFI #235: Pull request #83 reopened by kim-em
10m 51s kim-em:bump-toolchain-v4.33.1
kim-em:bump-toolchain-v4.33.1
10m 51s
chore: update Lean to v4.33.1 Verify #592: Pull request #83 reopened by kim-em
9m 26s kim-em:bump-toolchain-v4.33.1
kim-em:bump-toolchain-v4.33.1
9m 26s
chore: update Lean to v4.33.1 Test FFI #234: Pull request #83 opened by kim-em
10m 46s kim-em:bump-toolchain-v4.33.1
kim-em:bump-toolchain-v4.33.1
10m 46s
chore: update Lean to v4.33.1 Verify #591: Pull request #83 opened by kim-em
45m 20s kim-em:bump-toolchain-v4.33.1
kim-em:bump-toolchain-v4.33.1
45m 20s
Build and deploy documentation to Pages Build and deploy documentation to Pages #32: Manually run by robsimmons
1h 15m 25s main
main
1h 15m 25s
fix: doc-gen4 deps (#82) Build and deploy documentation to Pages #31: Commit 39a9056 pushed by markusdemedeiros
47m 9s main
main
47m 9s
fix: doc-gen4 deps (#82) Test FFI #233: Commit 39a9056 pushed by markusdemedeiros
14m 6s main
main
14m 6s
fix: doc-gen4 deps (#82) Verify #590: Commit 39a9056 pushed by markusdemedeiros
10m 0s main
main
10m 0s
fix: doc-gen4 deps Test FFI #232: Pull request #82 opened by robsimmons
12m 38s docgen-update
docgen-update
12m 38s
fix: doc-gen4 deps Verify #589: Pull request #82 opened by robsimmons
13m 3s docgen-update
docgen-update
13m 3s
Build and deploy documentation to Pages Build and deploy documentation to Pages #30: Manually run by robsimmons
1m 54s main
main
1m 54s
refactor: simplify parallel composition proof Test FFI #230: Pull request #80 opened by rwilliamspbg-ops
3m 35s rwilliamspbg-ops:feature/par-compose-cleanup
rwilliamspbg-ops:feature/par-compose-cleanup
3m 35s
refactor: simplify parallel composition proof Verify #587: Pull request #80 opened by rwilliamspbg-ops
3m 43s rwilliamspbg-ops:feature/par-compose-cleanup
rwilliamspbg-ops:feature/par-compose-cleanup
3m 43s
feat: simple mwem Test FFI #229: Pull request #79 synchronize by markusdemedeiros
13m 27s mwem
mwem
13m 27s
feat: simple mwem Verify #586: Pull request #79 synchronize by markusdemedeiros
13m 3s mwem
mwem
13m 3s
feat: simple mwem Test FFI #228: Pull request #79 synchronize by markusdemedeiros
12m 48s mwem
mwem
12m 48s
feat: simple mwem Verify #585: Pull request #79 synchronize by markusdemedeiros
14m 19s mwem
mwem
14m 19s