Skip to content

Actions: prusti/pcg-docs

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
46 workflow runs
46 workflow runs

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
Edge labels CI #46: Commit d2e4dad pushed by zgrannan
2m 52s main
main
2m 52s
Add more PCG datatypes CI #45: Commit af6f9bf pushed by zgrannan
3m 28s main
main
3m 28s
Fix overfull hboxes in LaTeX presentation and detect them in CI CI #44: Commit 01801c0 pushed by zgrannan
3m 1s main
main
3m 1s
Add formalization STATUS.md tracking minirust spec coverage CI #43: Commit 2c14f0b pushed by zgrannan
3m 23s main
main
3m 23s
Runtime places etc CI #42: Commit b03ac20 pushed by zgrannan
2m 34s main
main
2m 34s
WIP CI #41: Commit 4a89211 pushed by zgrannan
2m 13s main
main
2m 13s
WIP CI #40: Commit 17055b6 pushed by zgrannan
2m 18s main
main
2m 18s
WIP CI #39: Commit 6e96036 pushed by zgrannan
2m 29s main
main
2m 29s
Remove FnBody.doBlock and BodyStmt CI #38: Commit 94ee3d8 pushed by zgrannan
2m 18s main
main
2m 18s
Add data() fn for AbstractBytes CI #37: Commit e080416 pushed by zgrannan
2m 26s main
main
2m 26s
Improve lean encoding CI #36: Commit ce5616c pushed by zgrannan
2m 35s main
main
2m 35s
Improve latex CI #35: Commit d8a6bd0 pushed by zgrannan
40m 39s main
main
40m 39s
Fix rust CI #34: Commit 1c5e93f pushed by zgrannan
2m 38s main
main
2m 38s
WIP CI #33: Commit 9d6e193 pushed by zgrannan
2m 24s main
main
2m 24s
Allocations cont CI #32: Commit 8c093c4 pushed by zgrannan
2m 21s main
main
2m 21s
match support CI #31: Commit 7021e4c pushed by zgrannan
2m 24s main
main
2m 24s
many fixes CI #30: Commit f0e153e pushed by zgrannan
1m 46s main
main
1m 46s
Pass proofs CI #29: Commit 86b8ad2 pushed by zgrannan
1m 50s main
main
1m 50s
properties CI #28: Commit 594d64b pushed by zgrannan
1m 44s main
main
1m 44s
fixes CI #27: Commit 74838c5 pushed by zgrannan
1m 43s main
main
1m 43s
Rust typechecking CI #26: Commit d9cc9a0 pushed by zgrannan
49s main
main
49s
WIP CI #25: Commit 2605636 pushed by zgrannan
1m 32s main
main
1m 32s
WIP CI #24: Commit 9b486c1 pushed by zgrannan
1m 31s main
main
1m 31s
WIP CI #23: Commit 778db26 pushed by zgrannan
1m 32s main
main
1m 32s
Document init / owned state CI #22: Commit 69edbd2 pushed by zgrannan
1m 34s main
main
1m 34s