Skip to content

Actions: leanprover-community/physlib

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(Commutation): prove `angularMomentumSqr_commutation_angularMomen… Style linters #4177: Commit 55cf337 pushed by jstoobysmith
30m 23s master
master
30m 23s
feat: Add gradSchwartz Label PR based on Comment #72: Issue comment #995 (comment) created by jstoobysmith
7s
7s
feat: Add gradSchwartz Label PR based on Comment #71: Pull request #995 submitted by jstoobysmith
6s
6s
feat: Add gradSchwartz Label PR based on Comment #70: Pull request #995 created by jstoobysmith
5s
5s
feat: Add gradSchwartz Style linters #4176: Pull request #995 synchronize by jstoobysmith
30m 24s ScwartzGrad
ScwartzGrad
30m 24s
feat: Add gradSchwartz Label PR based on Comment #69: Issue comment #995 (comment) created by morrison-daniel
7s
7s
feat: Add gradSchwartz Label PR based on Comment #68: Pull request #995 created by morrison-daniel
5s
5s
feat: Add gradSchwartz Label PR based on Comment #67: Pull request #995 submitted by morrison-daniel
6s
6s
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