Skip to content

Actions: inQWIRE/VyZX

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
86 workflow runs
86 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Fixed cup-cap-flip Coq Build #103: Commit 7937031 pushed by caldwellb
May 3, 2024 20:18 32m 13s main
main
May 3, 2024 20:18 32m 13s
Fixed cup-cap-flip Static validation #68: Commit 7937031 pushed by caldwellb
May 3, 2024 20:18 16s main
main
May 3, 2024 20:18 16s
Merge pull request #44 from inQWIRE/fix/pre-commit-stash-issue Static validation #67: Commit 772846c pushed by caldwellb
February 7, 2024 16:21 21s main
main
February 7, 2024 16:21 21s
Merge pull request #44 from inQWIRE/fix/pre-commit-stash-issue Coq Build #102: Commit 772846c pushed by caldwellb
February 7, 2024 16:21 21m 36s main
main
February 7, 2024 16:21 21m 36s
Fix usability issues with hooks Static validation #66: Pull request #44 synchronize by adrianleh
February 6, 2024 19:48 16s fix/pre-commit-stash-issue
fix/pre-commit-stash-issue
February 6, 2024 19:48 16s
Fix usability issues with hooks Coq Build #101: Pull request #44 synchronize by adrianleh
February 6, 2024 19:48 20m 56s fix/pre-commit-stash-issue
fix/pre-commit-stash-issue
February 6, 2024 19:48 20m 56s
Fix usability issues with hooks Static validation #65: Pull request #44 opened by adrianleh
February 6, 2024 19:47 16s fix/pre-commit-stash-issue
fix/pre-commit-stash-issue
February 6, 2024 19:47 16s
Fix usability issues with hooks Coq Build #100: Pull request #44 opened by adrianleh
February 6, 2024 19:47 21m 13s fix/pre-commit-stash-issue
fix/pre-commit-stash-issue
February 6, 2024 19:47 21m 13s
Added 8.17 to CI Coq Build #99: Pull request #43 synchronize by bhaktishh
February 5, 2024 06:36 20m 51s bhaktishh:main
bhaktishh:main
February 5, 2024 06:36 20m 51s
Added 8.17 to CI Static validation #64: Pull request #43 synchronize by bhaktishh
February 5, 2024 06:36 15s bhaktishh:main
bhaktishh:main
February 5, 2024 06:36 15s
Update README.md to reflect new version Coq Build #98: Commit 1672944 pushed by adrianleh
February 4, 2024 00:41 21m 4s main
main
February 4, 2024 00:41 21m 4s
Update README.md to reflect new version Static validation #63: Commit 1672944 pushed by adrianleh
February 4, 2024 00:41 19s main
main
February 4, 2024 00:41 19s
Merge pull request #42 from inQWIRE/update/v8.16-v8.19 Coq Build #97: Commit 8a2def1 pushed by caldwellb
February 3, 2024 17:14 21m 3s main
main
February 3, 2024 17:14 21m 3s
Merge pull request #42 from inQWIRE/update/v8.16-v8.19 Static validation #62: Commit 8a2def1 pushed by caldwellb
February 3, 2024 17:14 14s main
main
February 3, 2024 17:14 14s
Update to Coq v8.16-v8.18 Coq Build #96: Pull request #42 synchronize by adrianleh
February 3, 2024 16:30 21m 6s update/v8.16-v8.19
update/v8.16-v8.19
February 3, 2024 16:30 21m 6s
Update to Coq v8.16-v8.18 Static validation #61: Pull request #42 synchronize by adrianleh
February 3, 2024 16:30 13s update/v8.16-v8.19
update/v8.16-v8.19
February 3, 2024 16:30 13s
Update to Coq v8.16-v8.18 Coq Build #95: Pull request #42 opened by adrianleh
January 30, 2024 19:00 1m 14s update/v8.16-v8.19
update/v8.16-v8.19
January 30, 2024 19:00 1m 14s
Update to Coq v8.16-v8.18 Static validation #60: Pull request #42 opened by adrianleh
January 30, 2024 19:00 19s update/v8.16-v8.19
update/v8.16-v8.19
January 30, 2024 19:00 19s
Fix deprecation warnings in SemanticCore. Coq Build #94: Commit 03e2cdf pushed by adrianleh
January 15, 2024 19:58 24m 22s main
main
January 15, 2024 19:58 24m 22s
Fix deprecation warnings in SemanticCore. Static validation #59: Commit 03e2cdf pushed by adrianleh
January 15, 2024 19:58 18s main
main
January 15, 2024 19:58 18s
Merge pull request #41 from inQWIRE/caldwellb-patch-1 Static validation #58: Commit adf56de pushed by caldwellb
November 13, 2023 14:33 16s main
main
November 13, 2023 14:33 16s
Merge pull request #41 from inQWIRE/caldwellb-patch-1 Coq Build #93: Commit adf56de pushed by caldwellb
November 13, 2023 14:33 42m 19s main
main
November 13, 2023 14:33 42m 19s
Update README.md Coq Build #92: Pull request #41 opened by caldwellb
November 13, 2023 14:33 44m 40s caldwellb-patch-1
caldwellb-patch-1
November 13, 2023 14:33 44m 40s
Update README.md Static validation #57: Pull request #41 opened by caldwellb
November 13, 2023 14:33 20s caldwellb-patch-1
caldwellb-patch-1
November 13, 2023 14:33 20s
Updating submission Coq Build #91: Pull request #40 opened by caldwellb
November 13, 2023 13:54 35m 45s main
main
November 13, 2023 13:54 35m 45s