Skip to content

Actions: leanprover-community/physlib

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Initial IdealFluid structure Style linters #4175: Pull request #949 synchronize by mog1el
30m 1s mog1el:Fluids
mog1el:Fluids
30m 1s
feat(Commutation): prove angularMomentumSqr_commutation_angularMomentum Label PR based on Comment #66: Pull request #989 submitted by jstoobysmith
7s
7s
Initial IdealFluid structure Style linters #4174: Pull request #949 synchronize by mog1el
Action required mog1el:Fluids
mog1el:Fluids
Action required
feat(QM): unbounded operator inequalities (#993) Style linters #4173: Commit 3b36ebe pushed by jstoobysmith
30m 0s master
master
30m 0s
refactor(QM) : commutators Style linters #4172: Pull request #994 synchronize by gloges
30m 12s gloges:commutator-improve
gloges:commutator-improve
30m 12s
feat(QM): unbounded operator inequalities Label PR based on Comment #65: Pull request #993 submitted by jstoobysmith
5s
5s
fix(Perm): correct isFull_of_isFull and perm_uncontractedList (#997) Style linters #4171: Commit 6a71a62 pushed by jstoobysmith
30m 4s master
master
30m 4s
fix(Perm): correct isFull_of_isFull and perm_uncontractedList Label PR based on Comment #64: Pull request #997 submitted by jstoobysmith
5s
5s
refactor(QM) : commutators Style linters #4170: Pull request #994 synchronize by gloges
31m 35s gloges:commutator-improve
gloges:commutator-improve
31m 35s
feat(LaplaceRungeLenzVector): prove angularMomentum_commutation_lrl Label PR based on Comment #63: Issue comment #991 (comment) created by pitmonticone
6s
6s
feat(QM): unbounded operator inequalities Label PR based on Comment #62: Issue comment #993 (comment) created by gloges
7s
7s
feat(QM): unbounded operator inequalities Label PR based on Comment #61: Issue comment #993 (comment) created by gloges
6s
6s
feat(QM): unbounded operator inequalities Label PR based on Comment #60: Pull request #993 created by gloges
5s
5s
feat(QM): unbounded operator inequalities Label PR based on Comment #59: Pull request #993 submitted by gloges
6s
6s
feat(QM): unbounded operator inequalities Style linters #4169: Pull request #993 synchronize by gloges
30m 15s gloges:unbounded-ops
gloges:unbounded-ops
30m 15s
fix(Perm): correct isFull_of_isFull and perm_uncontractedList Style linters #4168: Pull request #997 opened by pitmonticone
29m 51s pitmonticone:aristotle-perm
pitmonticone:aristotle-perm
29m 51s
feat(LaplaceRungeLenzVector): prove angularMomentum_commutation_lrl Style linters #4167: Pull request #991 synchronize by pitmonticone
31m 14s pitmonticone:aristotle-laplacerungelenzvector
pitmonticone:aristotle-laplacerungelenzvector
31m 14s
feat: remove unfold deriv (#988) Style linters #4166: Commit 7fac4dd pushed by jstoobysmith
32m 1s master
master
32m 1s
feat: remove unfold deriv Label PR based on Comment #58: Pull request #988 submitted by zhikaip
8s
8s
feat: mfderiv for Space Label PR based on Comment #57: Pull request #983 submitted by zhikaip
7s
7s
feat: mfderiv for Space Label PR based on Comment #56: Pull request #983 submitted by zhikaip
6s
6s
feat: mfderiv for Space Label PR based on Comment #55: Pull request #983 created by zhikaip
6s
6s
feat(Momentum): prove momentumOperatorSchwartz_isSymmetric Style linters #4165: Pull request #990 synchronize by pitmonticone
31m 59s pitmonticone:aristotle-momentum
pitmonticone:aristotle-momentum
31m 59s
feat(Commutation): prove angularMomentumSqr_commutation_angularMomentum Style linters #4164: Pull request #989 synchronize by pitmonticone
30m 2s pitmonticone:aristotle-commutation
pitmonticone:aristotle-commutation
30m 2s
feat(Commutation): prove angularMomentumSqr_commutation_angularMomentum Label PR based on Comment #54: Pull request #989 submitted by jstoobysmith
7s
7s