Skip to content

Actions: inQWIRE/VyZX

Actions

Coq Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-action.yml
22 workflow runs
22 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add permutations Coq Build #110: Pull request #46 synchronize by wjbs
August 31, 2024 16:02 17m 45s feature-permutations
feature-permutations
August 31, 2024 16:02 17m 45s
Add permutations Coq Build #109: Pull request #46 synchronize by wjbs
August 28, 2024 20:31 17m 34s feature-permutations
feature-permutations
August 28, 2024 20:31 17m 34s
Add permutations Coq Build #108: Pull request #46 synchronize by wjbs
August 20, 2024 20:27 17m 38s feature-permutations
feature-permutations
August 20, 2024 20:27 17m 38s
Add permutations Coq Build #107: Pull request #46 opened by wjbs
July 29, 2024 20:11 20m 27s feature-permutations
feature-permutations
July 29, 2024 20:11 20m 27s
Add peephole optimization Coq Build #106: Pull request #45 synchronize by caldwellb
July 12, 2024 02:04 21m 26s circuit-proof
circuit-proof
July 12, 2024 02:04 21m 26s
Add peephole optimization Coq Build #105: Pull request #45 synchronize by adrianleh
July 12, 2024 01:51 8m 0s circuit-proof
circuit-proof
July 12, 2024 01:51 8m 0s
Add peephole optimization Coq Build #104: Pull request #45 opened by adrianleh
July 12, 2024 01:37 8m 0s circuit-proof
circuit-proof
July 12, 2024 01:37 8m 0s
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
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 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 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
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
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
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 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
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
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
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
Merge pull request #39 from inQWIRE/completeness Coq Build #90: Commit 825577b pushed by caldwellb
November 13, 2023 13:41 54m 4s main
main
November 13, 2023 13:41 54m 4s
Completeness Coq Build #89: Pull request #39 opened by caldwellb
November 13, 2023 13:41 37m 12s completeness
completeness
November 13, 2023 13:41 37m 12s