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: Add PhyslibAlpha to TODO items Label PR based on Comment #1646: Pull request #1204 submitted by zhikaip
5s
5s
refactor: Add awaiting-author comment to PR comment Label PR based on Comment #1645: Pull request #1205 submitted by zhikaip
9s
9s
refactor: Optional linters for Quantum Info Style linters #5077: Pull request #1212 synchronize by jstoobysmith
43m 7s jstoobysmith:quantumInfoLinters
jstoobysmith:quantumInfoLinters
43m 7s
refactor: Optional linters for Quantum Info Style linters #199: Pull request #1212 synchronize by jstoobysmith
4m 40s jstoobysmith:quantumInfoLinters
jstoobysmith:quantumInfoLinters
4m 40s
refactor: Optional linters for Quantum Info Style linters #5076: Pull request #1212 opened by jstoobysmith
38m 45s jstoobysmith:quantumInfoLinters
jstoobysmith:quantumInfoLinters
38m 45s
refactor: Optional linters for Quantum Info Style linters #198: Pull request #1212 opened by jstoobysmith
4m 48s jstoobysmith:quantumInfoLinters
jstoobysmith:quantumInfoLinters
4m 48s
refactor: Optional linters for Quantum Info PR Comment #59: Pull request #1212 opened by jstoobysmith
30s
30s
feat: Update Readme with PhysilbAlpha (#1170) Style linters #197: Commit 441d823 pushed by jstoobysmith
4m 45s master
master
4m 45s
feat: Update Readme with PhysilbAlpha (#1170) Style linters #5075: Commit 441d823 pushed by jstoobysmith
45m 25s master
master
45m 25s
feat(QuantumMechanics): Add orthogonal subspaces (#1208) Style linters #5074: Commit bd681b2 pushed by jstoobysmith
41m 25s master
master
41m 25s
feat(QuantumMechanics): Add orthogonal subspaces (#1208) Style linters #196: Commit bd681b2 pushed by jstoobysmith
4m 30s master
master
4m 30s
feat: Add PhyslibAlpha to TODO items Style linters #195: Pull request #1204 synchronize by jstoobysmith
4m 43s jstoobysmith:TODOForPhyslibAlpha
jstoobysmith:TODOForPhyslibAlpha
4m 43s
feat: Add PhyslibAlpha to TODO items Style linters #5073: Pull request #1204 synchronize by jstoobysmith
41m 52s jstoobysmith:TODOForPhyslibAlpha
jstoobysmith:TODOForPhyslibAlpha
41m 52s
feat: Add PhyslibAlpha to TODO items Label PR based on Comment #1644: Issue comment #1204 (comment) created by jstoobysmith
7s
7s
feat(cosmology): add TODO items for FLRW background cosmology (#1207) Style linters #5072: Commit d882c02 pushed by jstoobysmith
37m 58s master
master
37m 58s
feat(cosmology): add TODO items for FLRW background cosmology (#1207) Style linters #194: Commit d882c02 pushed by jstoobysmith
4m 38s master
master
4m 38s
feat: Update Readme with PhysilbAlpha Style linters #193: Pull request #1170 synchronize by jstoobysmith
5m 28s jstoobysmith:readme-update
jstoobysmith:readme-update
5m 28s
feat: Update Readme with PhysilbAlpha Style linters #5071: Pull request #1170 synchronize by jstoobysmith
44m 8s jstoobysmith:readme-update
jstoobysmith:readme-update
44m 8s
feat: add TODO to Stinespring Dilation Style linters #192: Pull request #1210 opened by jstoobysmith
4m 41s jstoobysmith:quantumInfoTODO
jstoobysmith:quantumInfoTODO
4m 41s
feat: add TODO to Stinespring Dilation Style linters #5070: Pull request #1210 opened by jstoobysmith
40m 54s jstoobysmith:quantumInfoTODO
jstoobysmith:quantumInfoTODO
40m 54s
feat: add TODO to Stinespring Dilation PR Comment #58: Pull request #1210 opened by jstoobysmith
29s
29s
feat(meta): add agent-review rubric and example GitHub Action Label PR based on Comment #1643: Pull request #1209 created by doxtor6
5s
5s
feat(meta): add agent-review rubric and example GitHub Action Label PR based on Comment #1642: Pull request #1209 submitted by doxtor6
8s
8s
feat: gamma anticommutator and slash of Lorentz vector Label PR based on Comment #1641: Pull request #1206 created by jstoobysmith
5s
5s
feat: gamma anticommutator and slash of Lorentz vector Label PR based on Comment #1640: Pull request #1206 created by jstoobysmith
7s
7s