Skip to content

Actions: leanprover-community/physlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,812 workflow runs
2,812 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(Momentum): prove momentumOperatorSchwartz_isSymmetric (#990) Style linters #4201: Commit d607e4f pushed by jstoobysmith
30m 11s master
master
30m 11s
feat(temperature): PositiveTemperature refactor Style linters #4200: Pull request #976 synchronize by ichxorya
28m 49s SEhumantics:0503-positivetemperature
SEhumantics:0503-positivetemperature
28m 49s
feat(temperature): PositiveTemperature refactor Label PR based on Comment #103: Issue comment #976 (comment) created by ichxorya
8s
8s
feat(temperature): PositiveTemperature refactor Style linters #4199: Pull request #976 synchronize by ichxorya
29m 1s SEhumantics:0503-positivetemperature
SEhumantics:0503-positivetemperature
29m 1s
feat(Momentum): prove momentumOperatorSchwartz_isSymmetric Label PR based on Comment #102: Pull request #990 submitted by jstoobysmith
10s
10s
feat(Momentum): prove momentumOperatorSchwartz_isSymmetric Style linters #4198: Pull request #990 synchronize by jstoobysmith
31m 8s pitmonticone:aristotle-momentum
pitmonticone:aristotle-momentum
31m 8s
feat(Momentum): prove momentumOperatorSchwartz_isSymmetric Style linters #4197: Pull request #990 synchronize by jstoobysmith
3m 44s pitmonticone:aristotle-momentum
pitmonticone:aristotle-momentum
3m 44s
feat(Momentum): prove momentumOperatorSchwartz_isSymmetric Label PR based on Comment #101: Issue comment #990 (comment) created by pitmonticone
8s
8s
feat(Momentum): prove momentumOperatorSchwartz_isSymmetric Label PR based on Comment #100: Issue comment #990 (comment) created by jstoobysmith
8s
8s
feat(Momentum): prove momentumOperatorSchwartz_isSymmetric Style linters #4196: Pull request #990 synchronize by jstoobysmith
30m 43s pitmonticone:aristotle-momentum
pitmonticone:aristotle-momentum
30m 43s
refactor(QM) : commutators Label PR based on Comment #99: Issue comment #994 (comment) created by jstoobysmith
6s
6s
feat(Pseudo-Riemannian/Lorentzian): major refactor / add Lorentzian metric Label PR based on Comment #98: Issue comment #968 (comment) created by or4nge19
7s
7s
feat: Properties of vadd Label PR based on Comment #97: Issue comment #1001 (comment) created by jstoobysmith
8s
8s
feat: Properties of vadd Style linters #4195: Pull request #1001 synchronize by jstoobysmith
30m 33s vadd-clean
vadd-clean
30m 33s
feat: Properties of vadd Label PR based on Comment #96: Issue comment #996 (comment) created by jstoobysmith
7s
7s
feat: Properties of vadd Style linters #4194: Pull request #1001 opened by jstoobysmith
29m 58s vadd-clean
vadd-clean
29m 58s
feat: Properties of vadd Style linters #4193: Pull request #996 synchronize by jstoobysmith
28m 12s vaddProperties
vaddProperties
28m 12s
feat: Properties of vadd Style linters #4192: Pull request #996 synchronize by jstoobysmith
29m 57s vaddProperties
vaddProperties
29m 57s
feat(temperature): PositiveTemperature refactor Label PR based on Comment #95: Issue comment #976 (comment) created by jstoobysmith
5s
5s
feat(temperature): PositiveTemperature refactor Label PR based on Comment #94: Issue comment #976 (comment) created by ichxorya
6s
6s
Moving from PhysLean to PhysLib Label PR based on Comment #93: Issue comment #984 (comment) created by jstoobysmith
7s
7s
feat: Improve evaluation of tensors Style linters #4191: Pull request #1000 synchronize by jstoobysmith
29m 15s EvalTensors
EvalTensors
29m 15s
feat: Improve evaluation of tensors Label PR based on Comment #92: Issue comment #1000 (comment) created by jstoobysmith
6s
6s
feat: Improve evaluation of tensors Style linters #4190: Pull request #1000 opened by jstoobysmith
30m 30s EvalTensors
EvalTensors
30m 30s
feat(QM): AddZeroClass for UnboundedOperator Label PR based on Comment #91: Issue comment #999 (comment) created by jstoobysmith
5s
5s