Skip to content

Actions: project-everest/zeta

Actions

.github/workflows/verify-everest.yaml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verify-everest.yaml
15 workflow runs
15 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

compat with F* change .github/workflows/verify-everest.yaml #15: Commit 2e01111 pushed by nikswamy
April 17, 2024 22:18 19m 4s master
master
April 17, 2024 22:18 19m 4s
add inductive formalization of datalog from @mtzguido .github/workflows/verify-everest.yaml #14: Commit 2ba237a pushed by nikswamy
February 26, 2024 23:09 15s master
master
February 26, 2024 23:09 15s
remove straggling admits .github/workflows/verify-everest.yaml #13: Commit ebe6941 pushed by nikswamy
February 8, 2024 23:58 14m 31s master
master
February 8, 2024 23:58 14m 31s
add a two similar admits in Zeta.Steel.Application to workaround a re… .github/workflows/verify-everest.yaml #12: Commit 318604e pushed by nikswamy
February 8, 2024 21:28 13m 34s master
master
February 8, 2024 21:28 13m 34s
restore w.r.t F* and steel main branches .github/workflows/verify-everest.yaml #11: Commit 7a35612 pushed by nikswamy
February 8, 2024 00:11 1h 26m 53s master
master
February 8, 2024 00:11 1h 26m 53s
link proof outline .github/workflows/verify-everest.yaml #10: Commit f2126d3 pushed by nikswamy
December 4, 2023 17:56 2m 13s master
master
December 4, 2023 17:56 2m 13s
remove stale file; rename proof outline .github/workflows/verify-everest.yaml #9: Commit 908a9b7 pushed by nikswamy
December 4, 2023 17:54 1m 44s master
master
December 4, 2023 17:54 1m 44s
license .github/workflows/verify-everest.yaml #8: Commit 7439324 pushed by nikswamy
December 4, 2023 17:46 1m 43s master
master
December 4, 2023 17:46 1m 43s
remove old notes .github/workflows/verify-everest.yaml #7: Commit 1166b73 pushed by nikswamy
November 28, 2023 18:05 1m 45s master
master
November 28, 2023 18:05 1m 45s
code cleanup .github/workflows/verify-everest.yaml #6: Commit fbd9314 pushed by arvinda
November 14, 2023 19:59 33m 3s master
master
November 14, 2023 19:59 33m 3s
cleanup code prior to release .github/workflows/verify-everest.yaml #5: Commit 043c659 pushed by arvinda
November 14, 2023 19:57 21m 9s master
master
November 14, 2023 19:57 21m 9s
remove unused files(2) .github/workflows/verify-everest.yaml #4: Commit 726590e pushed by arvinda
November 14, 2023 19:41 23m 49s master
master
November 14, 2023 19:41 23m 49s
remove unused code prior to release .github/workflows/verify-everest.yaml #3: Commit d6ad7af pushed by arvinda
November 14, 2023 19:39 13m 1s master
master
November 14, 2023 19:39 13m 1s
remove the unused old/ folder .github/workflows/verify-everest.yaml #2: Commit 0f303a5 pushed by arvinda
November 13, 2023 22:11 15s master
master
November 13, 2023 22:11 15s
kvstore formats snap .github/workflows/verify-everest.yaml #1: Commit afc9452 pushed by tahina-pro
October 26, 2023 00:39 12m 43s master
master
October 26, 2023 00:39 12m 43s