Skip to content

Actions: leanprover/SampCert

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
77 workflow runs
77 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.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
feat: simple mwem Test FFI #227: Pull request #79 synchronize by markusdemedeiros
14m 43s mwem
mwem
14m 43s
feat: simple mwem Verify #584: Pull request #79 synchronize by markusdemedeiros
14m 44s mwem
mwem
14m 44s
feat: simple mwem Verify #583: Pull request #79 synchronize by markusdemedeiros
15m 4s mwem
mwem
15m 4s
feat: simple mwem Test FFI #226: Pull request #79 synchronize by markusdemedeiros
13m 29s mwem
mwem
13m 29s
feat: simple mwem Verify #582: Pull request #79 opened by markusdemedeiros
14m 44s mwem
mwem
14m 44s