Skip to content

Actions: mit-pdos/pav

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
229 workflow runs
229 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

got version spec wrong CI #54: Commit f3b1c59 pushed by sanjit-bhat
July 8, 2024 19:50 38s main
main
July 8, 2024 19:50 38s
ci: use staticcheck action, which should have better caching CI #53: Commit 130c596 pushed by sanjit-bhat
July 8, 2024 19:47 25s main
main
July 8, 2024 19:47 25s
CI 'other' job internally uses go. for some reason, GH actions env al… CI #52: Commit adfa147 pushed by sanjit-bhat
July 7, 2024 18:26 47s main
main
July 7, 2024 18:26 47s
CI CI #51: Scheduled
July 6, 2024 08:08 51s main
main
July 6, 2024 08:08 51s
refactor ordering in server.put CI #50: Commit 7a8e141 pushed by sanjit-bhat
July 2, 2024 20:29 39s main
main
July 2, 2024 20:29 39s
refactor: evidence calc CI #49: Commit f765409 pushed by sanjit-bhat
July 1, 2024 17:28 46s main
main
July 1, 2024 17:28 46s
CI CI #48: Scheduled
June 29, 2024 08:07 49s main
main
June 29, 2024 08:07 49s
remove const len rpc fields. encoding/decoding lemmas become a bit mo… CI #47: Commit 15d97c4 pushed by sanjit-bhat
June 27, 2024 21:47 46s main
main
June 27, 2024 21:47 46s
shorten var names CI #46: Commit ba993c5 pushed by sanjit-bhat
June 27, 2024 21:38 41s main
main
June 27, 2024 21:38 41s
yet another ci refactor CI #45: Commit 26cfaa5 pushed by sanjit-bhat
June 27, 2024 21:25 35s main
main
June 27, 2024 21:25 35s
restructure ci jobs CI #44: Commit 8234164 pushed by sanjit-bhat
June 27, 2024 21:23 45s main
main
June 27, 2024 21:23 45s
add new ci test for whether compiled rpc is stale CI #43: Commit bd233b1 pushed by sanjit-bhat
June 27, 2024 21:21 41s main
main
June 27, 2024 21:21 41s
rpc: look thru all comment lines, not just first line, for directive CI #42: Commit fbfd078 pushed by sanjit-bhat
June 27, 2024 19:49 36s main
main
June 27, 2024 19:49 36s
rpc: look thru all comment directive lines, not just first CI #41: Commit f08a9c1 pushed by sanjit-bhat
June 27, 2024 19:48 52s main
main
June 27, 2024 19:48 52s
small evidence refactor CI #40: Commit 307daf3 pushed by sanjit-bhat
June 27, 2024 19:21 37s main
main
June 27, 2024 19:21 37s
fix ci CI #39: Commit fd4fe99 pushed by sanjit-bhat
June 25, 2024 23:17 25s main
main
June 25, 2024 23:17 25s
rpc: move ast dump to sep pkg CI #38: Commit 0a2560c pushed by sanjit-bhat
June 25, 2024 23:00 16s main
main
June 25, 2024 23:00 16s
split evidence into sep file CI #37: Commit 7ae4c8d pushed by sanjit-bhat
June 24, 2024 20:01 21s main
main
June 24, 2024 20:01 21s
lowercase things CI #36: Commit 82765d9 pushed by sanjit-bhat
June 24, 2024 19:47 24s main
main
June 24, 2024 19:47 24s
CI CI #35: Scheduled
June 22, 2024 08:07 26s main
main
June 22, 2024 08:07 26s
make crypto api more consistent with crypto/ed25519 CI #34: Commit 0b0fb75 pushed by sanjit-bhat
June 21, 2024 18:36 23s main
main
June 21, 2024 18:36 23s
rename serv -> server CI #33: Commit aeaba12 pushed by sanjit-bhat
June 21, 2024 17:00 22s main
main
June 21, 2024 17:00 22s
pin staticcheck version for better caching CI #32: Commit eaaabfc pushed by sanjit-bhat
June 21, 2024 00:01 1m 6s main
main
June 21, 2024 00:01 1m 6s
newktmerkle CI #31: Pull request #1 opened by sanjit-bhat
June 20, 2024 23:59 1m 0s newktmerkle
newktmerkle
June 20, 2024 23:59 1m 0s
chkpt finish ktmerkle CI #30: Commit 418631d pushed by sanjit-bhat
June 17, 2024 19:48 15s main
main
June 17, 2024 19:48 15s