Skip to content

Actions: inQWIRE/QuantumLib

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Permutations Improvement, Kronecker Commutation CI #169: Pull request #45 synchronize by adrianleh
November 8, 2024 22:17 13m 32s permutations-improvement
permutations-improvement
November 8, 2024 22:17 13m 32s
Permutations Improvement, Kronecker Commutation CI #168: Pull request #45 synchronize by wjbs
August 21, 2024 03:37 6m 49s permutations-improvement
permutations-improvement
August 21, 2024 03:37 6m 49s
Permutations Improvement, Kronecker Commutation CI #167: Pull request #45 opened by wjbs
August 20, 2024 21:06 6m 10s permutations-improvement
permutations-improvement
August 20, 2024 21:06 6m 10s
Fix Qsimpl hanging on goals with adjoint _ (#44) CI #166: Commit ec1987d pushed by adrianleh
July 29, 2024 19:09 6m 35s main
main
July 29, 2024 19:09 6m 35s
Fix Qsimpl hanging on goals with adjoint _ CI #165: Pull request #44 synchronize by wjbs
July 28, 2024 15:59 6m 14s fix_hermitian_rw
fix_hermitian_rw
July 28, 2024 15:59 6m 14s
Fix Qsimpl hanging on goals with adjoint _ CI #164: Pull request #44 opened by wjbs
July 15, 2024 22:40 6m 15s fix_hermitian_rw
fix_hermitian_rw
July 15, 2024 22:40 6m 15s
Add results about permutations (#42) CI #163: Commit ee147b9 pushed by adrianleh
May 27, 2024 22:15 6m 27s main
main
May 27, 2024 22:15 6m 27s
Add results about permutations CI #162: Pull request #42 synchronize by lczielinski
May 27, 2024 19:13 6m 26s permutations
permutations
May 27, 2024 19:13 6m 26s
Add results about permutations CI #161: Pull request #42 synchronize by lczielinski
May 27, 2024 19:11 6m 26s permutations
permutations
May 27, 2024 19:11 6m 26s
Add results about permutations CI #160: Pull request #42 synchronize by lczielinski
May 27, 2024 19:11 6m 26s permutations
permutations
May 27, 2024 19:11 6m 26s
Add results about permutations CI #159: Pull request #42 synchronize by lczielinski
May 27, 2024 19:02 6m 20s permutations
permutations
May 27, 2024 19:02 6m 20s
Add results about permutations CI #158: Pull request #42 synchronize by lczielinski
May 27, 2024 18:57 6m 21s permutations
permutations
May 27, 2024 18:57 6m 21s
Add results about permutations CI #157: Pull request #42 synchronize by lczielinski
May 27, 2024 18:11 6m 24s permutations
permutations
May 27, 2024 18:11 6m 24s
Add results about permutations CI #156: Pull request #42 synchronize by lczielinski
May 27, 2024 17:30 6m 27s permutations
permutations
May 27, 2024 17:30 6m 27s
Add results about permutations CI #155: Pull request #42 synchronize by lczielinski
May 24, 2024 19:01 6m 35s permutations
permutations
May 24, 2024 19:01 6m 35s
Add results about permutations CI #154: Pull request #42 opened by lczielinski
May 5, 2024 23:23 6m 50s permutations
permutations
May 5, 2024 23:23 6m 50s
Update README.md CI #153: Commit 37865be pushed by rnrand
April 17, 2024 18:51 6m 31s main
main
April 17, 2024 18:51 6m 31s
Merge pull request #41 from inQWIRE/QR_and_Schur CI #152: Commit 8001857 pushed by rnrand
March 22, 2024 16:39 16m 46s main
main
March 22, 2024 16:39 16m 46s
Refactored and added proofs of QR decomposition and Schur decomposition CI #151: Pull request #41 synchronize by jakezweifler
March 22, 2024 03:11 16m 20s QR_and_Schur
QR_and_Schur
March 22, 2024 03:11 16m 20s
Refactored and added proofs of QR decomposition and Schur decomposition CI #150: Pull request #41 synchronize by jakezweifler
March 21, 2024 21:37 17m 33s QR_and_Schur
QR_and_Schur
March 21, 2024 21:37 17m 33s
Refactored and added proofs of QR decomposition and Schur decomposition CI #149: Pull request #41 synchronize by jakezweifler
March 12, 2024 21:59 6m 27s QR_and_Schur
QR_and_Schur
March 12, 2024 21:59 6m 27s
Refactored and added proofs of QR decomposition and Schur decomposition CI #148: Pull request #41 synchronize by jakezweifler
March 12, 2024 21:08 6m 21s QR_and_Schur
QR_and_Schur
March 12, 2024 21:08 6m 21s
Refactored and added proofs of QR decomposition and Schur decomposition CI #147: Pull request #41 synchronize by jakezweifler
March 9, 2024 05:13 6m 20s QR_and_Schur
QR_and_Schur
March 9, 2024 05:13 6m 20s
Refactored and added proofs of QR decomposition and Schur decomposition CI #146: Pull request #41 synchronize by jakezweifler
March 4, 2024 04:53 6m 4s QR_and_Schur
QR_and_Schur
March 4, 2024 04:53 6m 4s
Refactored and added proofs of QR decomposition and Schur decomposition CI #145: Pull request #41 synchronize by jakezweifler
March 4, 2024 04:37 6m 4s QR_and_Schur
QR_and_Schur
March 4, 2024 04:37 6m 4s