Skip to content

Actions: kylechui/2ControlVerification

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
140 workflow runs
140 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(M7.2): Fully proven. (#59) CI #140: Commit 46bdb59 pushed by kylechui
June 21, 2024 00:28 6m 24s main
main
June 21, 2024 00:28 6m 24s
feat(M7.2): Fully proven. CI #139: Pull request #59 opened by kylechui
June 21, 2024 00:21 6m 32s feat/prove-m7.2
feat/prove-m7.2
June 21, 2024 00:21 6m 32s
feat: Prove Lemma M7.5. (#58) CI #138: Commit b5ef8ba pushed by kylechui
June 19, 2024 05:15 6m 25s main
main
June 19, 2024 05:15 6m 25s
feat: Prove Lemma M7.5. CI #137: Pull request #58 synchronize by kylechui
June 19, 2024 05:07 6m 20s feat/prove-m7.5
feat/prove-m7.5
June 19, 2024 05:07 6m 20s
feat: Prove Lemma M7.5. CI #136: Pull request #58 synchronize by kylechui
June 18, 2024 01:13 6m 26s feat/prove-m7.5
feat/prove-m7.5
June 18, 2024 01:13 6m 26s
feat: Prove Lemma M7.5. CI #135: Pull request #58 synchronize by kylechui
June 18, 2024 00:39 6m 20s feat/prove-m7.5
feat/prove-m7.5
June 18, 2024 00:39 6m 20s
feat: Prove Lemma M7.5. CI #134: Pull request #58 opened by kylechui
June 18, 2024 00:39 6m 21s feat/prove-m7.5
feat/prove-m7.5
June 18, 2024 00:39 6m 21s
feat(M7.4): Fully proven. (#57) CI #133: Commit ee490f0 pushed by kylechui
June 17, 2024 07:02 6m 22s main
main
June 17, 2024 07:02 6m 22s
feat(M7.4): Fully proven. CI #132: Pull request #57 synchronize by kylechui
June 17, 2024 06:51 6m 21s feat/prove-m7.4
feat/prove-m7.4
June 17, 2024 06:51 6m 21s
feat(M7.4): Fully proven. CI #131: Pull request #57 opened by kylechui
June 17, 2024 06:51 6m 17s feat/prove-m7.4
feat/prove-m7.4
June 17, 2024 06:51 6m 17s
feat(M7.3): Fully proven. (#56) CI #130: Commit 9358dad pushed by kylechui
June 17, 2024 06:34 8m 44s main
main
June 17, 2024 06:34 8m 44s
feat(M7.3): Fully proven. CI #129: Pull request #56 opened by kylechui
June 17, 2024 06:20 6m 31s feat/prove-m7.3
feat/prove-m7.3
June 17, 2024 06:20 6m 31s
feat: State section 7. (#55) CI #128: Commit 5aefe4e pushed by kylechui
June 17, 2024 06:04 6m 17s main
main
June 17, 2024 06:04 6m 17s
feat: State section 7. CI #127: Pull request #55 synchronize by kylechui
June 17, 2024 05:57 6m 19s feat/state-section-7
feat/state-section-7
June 17, 2024 05:57 6m 19s
feat: State section 7. CI #126: Pull request #55 opened by kylechui
June 17, 2024 05:57 6m 40s feat/state-section-7
feat/state-section-7
June 17, 2024 05:57 6m 40s
feat: Update coq-lsp. (#54) CI #125: Commit aaebf3f pushed by kylechui
June 17, 2024 02:12 6m 18s main
main
June 17, 2024 02:12 6m 18s
feat: Update coq-lsp. CI #124: Pull request #54 opened by kylechui
June 17, 2024 02:06 6m 29s feat/update-lsp
feat/update-lsp
June 17, 2024 02:06 6m 29s
Merge pull request #53 from kylechui/feat/prove-7.1 CI #123: Commit 2d335e9 pushed by ArshMalik02
June 5, 2024 00:10 6m 29s main
main
June 5, 2024 00:10 6m 29s
feat(M7.1): Stated + proven. CI #122: Pull request #53 opened by kylechui
June 4, 2024 23:36 6m 22s feat/prove-7.1
feat/prove-7.1
June 4, 2024 23:36 6m 22s
Update README (#52) CI #121: Commit 5778e79 pushed by kylechui
June 4, 2024 20:54 6m 16s main
main
June 4, 2024 20:54 6m 16s
Update README CI #120: Pull request #52 synchronize by ArshMalik02
June 4, 2024 20:15 6m 16s modify-readme
modify-readme
June 4, 2024 20:15 6m 16s
Update README CI #119: Pull request #52 opened by ArshMalik02
June 4, 2024 19:43 6m 19s modify-readme
modify-readme
June 4, 2024 19:43 6m 19s
refactor: Massive restructuring. (#47) CI #118: Commit 7932b44 pushed by kylechui
June 4, 2024 19:12 6m 17s main
main
June 4, 2024 19:12 6m 17s
refactor: Massive restructuring. CI #117: Pull request #47 synchronize by kylechui
June 4, 2024 19:03 6m 14s refactor/massive-restructuring
refactor/massive-restructuring
June 4, 2024 19:03 6m 14s
feat(M5.1): State and prove. (#44) CI #116: Commit d23fb0b pushed by kylechui
June 4, 2024 15:48 5m 56s main
main
June 4, 2024 15:48 5m 56s