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

Merge pull request #28 from nvaishampayan517/feat/prove-m3.1 CI #15: Commit 19d81b0 pushed by nvaishampayan517
February 25, 2024 00:30 13m 18s main
main
February 25, 2024 00:30 13m 18s
Finshed Lemma A24 CI #14: Pull request #29 opened by nvaishampayan517
February 24, 2024 23:12 17m 57s a24
a24
February 24, 2024 23:12 17m 57s
feat(M3.1): Fully formalized. CI #13: Pull request #28 synchronize by kylechui
February 23, 2024 03:20 13m 12s feat/prove-m3.1
feat/prove-m3.1
February 23, 2024 03:20 13m 12s
feat(M3.1): Fully formalized. CI #12: Pull request #28 synchronize by kylechui
February 23, 2024 02:56 16m 48s feat/prove-m3.1
feat/prove-m3.1
February 23, 2024 02:56 16m 48s
feat(M3.1): Fully formalized. CI #11: Pull request #28 opened by kylechui
February 23, 2024 02:37 13m 28s feat/prove-m3.1
feat/prove-m3.1
February 23, 2024 02:37 13m 28s
Merge pull request #27 from nvaishampayan517/a25_rework CI #10: Commit 891639e pushed by nvaishampayan517
February 20, 2024 19:13 14m 45s main
main
February 20, 2024 19:13 14m 45s
Updated a25 with the new formulation of forall V, psi CI #9: Pull request #27 opened by nvaishampayan517
February 20, 2024 18:59 13m 33s a25_rework
a25_rework
February 20, 2024 18:59 13m 33s
ci: Speed up builds by not building coq-lsp. (#26) CI #8: Commit ef4badb pushed by kylechui
February 18, 2024 02:54 16m 29s main
main
February 18, 2024 02:54 16m 29s
ci: Speed up builds by not building coq-lsp. CI #7: Pull request #26 opened by kylechui
February 18, 2024 02:02 13m 12s ci/optimize-builds
ci/optimize-builds
February 18, 2024 02:02 13m 12s
Merge pull request #25 from nvaishampayan517/ci/automate-builds CI #6: Commit 08c5dd9 pushed by kylechui
February 17, 2024 23:42 14m 58s main
main
February 17, 2024 23:42 14m 58s
fix: Forgot the v in the version. CI #5: Pull request #25 opened by kylechui
February 17, 2024 23:42 15m 37s ci/automate-builds
ci/automate-builds
February 17, 2024 23:42 15m 37s
Merge pull request #24 from nvaishampayan517/ci/automate-builds CI #4: Commit 14797af pushed by kylechui
February 17, 2024 23:40 10s main
main
February 17, 2024 23:40 10s
ci: Fix cachix version number. CI #3: Pull request #24 opened by kylechui
February 17, 2024 23:40 13s ci/automate-builds
ci/automate-builds
February 17, 2024 23:40 13s
Merge pull request #23 from nvaishampayan517/ci/automate-builds CI #2: Commit df07f7d pushed by kylechui
February 17, 2024 23:38 11s main
main
February 17, 2024 23:38 11s
ci: Automatically build for new pushes/pull requests. CI #1: Pull request #23 opened by kylechui
February 17, 2024 23:34 4m 30s ci/automate-builds
ci/automate-builds
February 17, 2024 23:34 4m 30s