Skip to content

Actions: leanprover-community/physlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
feat(QuantumMechanics): add operator algebra of a finite-dimensional quantum system PR Comment #360: Pull request #1526 opened by TomOleDiem
34s
34s
feat(QuantumMechanics): add operator algebra of a finite-dimensional quantum system Autolabel PRs #101: Pull request #1526 opened by TomOleDiem
1m 46s
1m 46s
feat(QuantumMechanics): add operator algebra of a finite-dimensional quantum system Style linters #1514: Pull request #1526 opened by TomOleDiem
8m 6s TomOleDiem:operator-algebra
TomOleDiem:operator-algebra
8m 6s
feat(QuantumMechanics): add operator algebra of a finite-dimensional quantum system Style linters #6392: Pull request #1526 opened by TomOleDiem
40m 53s TomOleDiem:operator-algebra
TomOleDiem:operator-algebra
40m 53s
chore: Bump 4.33 Label PR based on Comment #3219: Issue comment #1521 (comment) created by NicolasRouquette
8s
8s
chore: Bump 4.33 Check golf #269: Issue comment #1521 (comment) created by NicolasRouquette
1s
1s
docs(QuantumMechanics): add finite-dimensional quantum systems API map Style linters #6391: Pull request #1525 synchronize by TomOleDiem
39m 25s TomOleDiem:finite-target-api-map
TomOleDiem:finite-target-api-map
39m 25s
docs(QuantumMechanics): add finite-dimensional quantum systems API map Style linters #1513: Pull request #1525 synchronize by TomOleDiem
7m 53s TomOleDiem:finite-target-api-map
TomOleDiem:finite-target-api-map
7m 53s
docs(QuantumMechanics): add finite-dimensional quantum systems API map Style linters #1512: Pull request #1525 opened by TomOleDiem
8m 52s TomOleDiem:finite-target-api-map
TomOleDiem:finite-target-api-map
8m 52s
docs(QuantumMechanics): add finite-dimensional quantum systems API map Style linters #6390: Pull request #1525 opened by TomOleDiem
36m 39s TomOleDiem:finite-target-api-map
TomOleDiem:finite-target-api-map
36m 39s
docs(QuantumMechanics): add finite-dimensional quantum systems API map PR Comment #359: Pull request #1525 opened by TomOleDiem
29s
29s
docs(QuantumMechanics): add finite-dimensional quantum systems API map Autolabel PRs #100: Pull request #1525 opened by TomOleDiem
1m 39s
1m 39s
Pauli matrices: vector identities and self-adjoint decomposition Style linters #1511: Pull request #1524 synchronize by TomOleDiem
7m 41s TomOleDiem:pauli-vector-identities
TomOleDiem:pauli-vector-identities
7m 41s
Pauli matrices: vector identities and self-adjoint decomposition Style linters #6389: Pull request #1524 synchronize by TomOleDiem
28m 20s TomOleDiem:pauli-vector-identities
TomOleDiem:pauli-vector-identities
28m 20s
Label PR based on Comment Label PR based on Comment #3218: created by TomOleDiem
8s
8s
Check golf Check golf #268: created by TomOleDiem
Skipped
Skipped
Label PR based on Comment Label PR based on Comment #3217: created by TomOleDiem
7s
7s
Check golf Check golf #267: created by TomOleDiem
1s
1s
Pauli matrices: vector identities and self-adjoint decomposition Style linters #6388: Pull request #1524 opened by TomOleDiem
40m 23s TomOleDiem:pauli-vector-identities
TomOleDiem:pauli-vector-identities
40m 23s
Pauli matrices: vector identities and self-adjoint decomposition Style linters #1510: Pull request #1524 opened by TomOleDiem
7m 56s TomOleDiem:pauli-vector-identities
TomOleDiem:pauli-vector-identities
7m 56s
Pauli matrices: vector identities and self-adjoint decomposition PR Comment #358: Pull request #1524 opened by TomOleDiem
28s
28s
Pauli matrices: vector identities and self-adjoint decomposition Autolabel PRs #99: Pull request #1524 opened by TomOleDiem
1m 42s
1m 42s
Stone theorem for norm-continuous unitary one-parameter groups Check golf #266: Issue comment #1510 (comment) created by TomOleDiem
1s
1s
Stone theorem for norm-continuous unitary one-parameter groups Label PR based on Comment #3216: Issue comment #1510 (comment) created by TomOleDiem
6s
6s
Stone theorem for norm-continuous unitary one-parameter groups Style linters #6387: Pull request #1510 synchronize by TomOleDiem
41m 10s TomOleDiem:port-stone-theorem
TomOleDiem:port-stone-theorem
41m 10s