Skip to content

Actions: tannerduve/Algolean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add quantum query measurement infrastructure Lean Action CI #26: Pull request #2 synchronize by tannerduve
13m 36s quantum-query-infra
quantum-query-infra
13m 36s
Add full-register Hadamard layer helpers Lean Action CI #25: Pull request #3 synchronize by tannerduve
2m 50s quantum-hadamard-layer
quantum-hadamard-layer
2m 50s
Prove the Deutsch-Jozsa algorithm Lean Action CI #24: Pull request #4 synchronize by tannerduve
3m 5s quantum-deutsch-jozsa
quantum-deutsch-jozsa
3m 5s
Add quantum query measurement infrastructure Lean Action CI #23: Pull request #2 synchronize by tannerduve
3m 18s quantum-query-infra
quantum-query-infra
3m 18s
Add full-register Hadamard layer helpers Lean Action CI #22: Pull request #3 synchronize by tannerduve
2m 53s quantum-hadamard-layer
quantum-hadamard-layer
2m 53s
Prove the Deutsch-Jozsa algorithm Lean Action CI #21: Pull request #4 synchronize by tannerduve
2m 59s quantum-deutsch-jozsa
quantum-deutsch-jozsa
2m 59s
Prove the Deutsch-Jozsa algorithm Lean Action CI #20: Pull request #4 synchronize by tannerduve
2m 44s quantum-deutsch-jozsa
quantum-deutsch-jozsa
2m 44s
Prove the Deutsch-Jozsa algorithm Lean Action CI #19: Pull request #4 synchronize by tannerduve
2m 41s quantum-deutsch-jozsa
quantum-deutsch-jozsa
2m 41s
Add full-register Hadamard layer helpers Lean Action CI #18: Pull request #3 synchronize by tannerduve
2m 44s quantum-hadamard-layer
quantum-hadamard-layer
2m 44s
Add full-register Hadamard layer helpers Lean Action CI #17: Pull request #3 synchronize by tannerduve
2m 51s quantum-hadamard-layer
quantum-hadamard-layer
2m 51s
Add quantum query measurement infrastructure Lean Action CI #16: Pull request #2 synchronize by tannerduve
2m 42s quantum-query-infra
quantum-query-infra
2m 42s
Prove the Deutsch-Jozsa algorithm Lean Action CI #15: Pull request #4 opened by tannerduve
16m 39s quantum-deutsch-jozsa
quantum-deutsch-jozsa
16m 39s
Add full-register Hadamard layer helpers Lean Action CI #14: Pull request #3 opened by tannerduve
16m 44s quantum-hadamard-layer
quantum-hadamard-layer
16m 44s
Add quantum query measurement infrastructure Lean Action CI #13: Pull request #2 opened by tannerduve
16m 10s quantum-query-infra
quantum-query-infra
16m 10s
fix_mathlib_imports (#65) Build and Deploy Documentation #1: Commit 088a837 pushed by tannerduve
1s main
main
1s
fix_mathlib_imports (#65) Lean Action CI #12: Commit 088a837 pushed by tannerduve
17m 14s main
main
17m 14s
fix_mathlib_imports (#65) Create Release #2: Commit 088a837 pushed by tannerduve
22s main
main
22s
feat: Deutsch-Jozsa and GHZ quantum algos Lean Action CI #11: Pull request #1 synchronize by tannerduve
15m 30s quantum-algos
quantum-algos
15m 30s
feat: Deutsch-Jozsa and GHZ quantum algos Lean Action CI #10: Pull request #1 synchronize by tannerduve
16m 53s quantum-algos
quantum-algos
16m 53s
feat: Deutsch-Jozsa and GHZ quantum algos Lean Action CI #9: Pull request #1 synchronize by tannerduve
17m 9s quantum-algos
quantum-algos
17m 9s
feat: Deutsch-Jozsa and GHZ quantum algos Lean Action CI #8: Pull request #1 synchronize by tannerduve
5m 47s quantum-algos
quantum-algos
5m 47s
feat: Deutsch-Jozsa and GHZ quantum algos Lean Action CI #7: Pull request #1 synchronize by tannerduve
5m 49s quantum-algos
quantum-algos
5m 49s
feat: Deutsch-Jozsa and GHZ quantum algos Lean Action CI #6: Pull request #1 synchronize by tannerduve
5m 40s quantum-algos
quantum-algos
5m 40s
toolchain v4.29.0 works locally (#24) Lean Action CI #5: Commit 593aa80 pushed by tannerduve
1h 21m 27s main
main
1h 21m 27s
toolchain v4.29.0 works locally (#24) Create Release #1: Commit 593aa80 pushed by tannerduve
10s main
main
10s