Skip to content

Actions: leanprover-community/physlib

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #965 from leanprover-community/jstoobysmith-patch-3 Style linters #4040: Commit 993eb69 pushed by zhikaip
30m 24s master
master
30m 24s
feat: Add note about name change Style linters #4039: Pull request #965 opened by jstoobysmith
27m 13s jstoobysmith-patch-3
jstoobysmith-patch-3
27m 13s
refactor: Integrals (#952) Style linters #4038: Commit 9ada9c4 pushed by jstoobysmith
30m 28s master
master
30m 28s
feat: Improve docs on space (#959) Style linters #4037: Commit fc156d2 pushed by jstoobysmith
31m 37s master
master
31m 37s
feat: Improve docs on space Style linters #4036: Pull request #959 synchronize by jstoobysmith
32m 5s SpaceDocs
SpaceDocs
32m 5s
feat: Position & momentum unbounded operators Style linters #4035: Pull request #963 opened by gloges
31m 14s gloges:xp-operators
gloges:xp-operators
31m 14s
Update Lean Project Update Lean Project #47: Scheduled
2m 2s master
master
2m 2s
feat: Hilbert space & unbounded operators on Space (#957) Style linters #4034: Commit 6286c6b pushed by jstoobysmith
32m 17s master
master
32m 17s
Merge pull request #960 from lean-phys-community/aristotle/generalized Style linters #4033: Commit 6d5baa1 pushed by morrison-daniel
30m 46s master
master
30m 46s
feat: Hilbert space & unbounded operators on Space Style linters #4032: Pull request #957 synchronize by morrison-daniel
31m 40s gloges:hilbert-space
gloges:hilbert-space
31m 40s
feat: Hilbert space & unbounded operators on Space Style linters #4031: Pull request #957 synchronize by morrison-daniel
30m 39s gloges:hilbert-space
gloges:hilbert-space
30m 39s
feat(Generalized): prove generalizedBoost_timeComponent_eq Style linters #4030: Pull request #960 synchronize by morrison-daniel
28m 51s aristotle/generalized
aristotle/generalized
28m 51s
feat(Generalized): prove generalizedBoost_timeComponent_eq Style linters #4029: Pull request #960 synchronize by morrison-daniel
29m 26s aristotle/generalized
aristotle/generalized
29m 26s
Initial IdealFluid structure Style linters #4028: Pull request #949 synchronize by mog1el
30m 40s mog1el:Fluids
mog1el:Fluids
30m 40s
feat: Improve docs on space Style linters #4027: Pull request #959 synchronize by jstoobysmith
30m 44s SpaceDocs
SpaceDocs
30m 44s
feat(SolidSphere): prove solidSphere_inertiaTensor Style linters #4026: Pull request #962 synchronize by pitmonticone
28m 6s aristotle/solidsphere
aristotle/solidsphere
28m 6s
feat(SolidSphere): prove solidSphere_inertiaTensor Style linters #4025: Pull request #962 synchronize by pitmonticone
30m 38s aristotle/solidsphere
aristotle/solidsphere
30m 38s
feat: Hilbert space & unbounded operators on Space Style linters #4024: Pull request #957 synchronize by gloges
31m 10s gloges:hilbert-space
gloges:hilbert-space
31m 10s
feat: Hilbert space & unbounded operators on Space Style linters #4023: Pull request #957 synchronize by gloges
32m 1s gloges:hilbert-space
gloges:hilbert-space
32m 1s
feat: Hilbert space & unbounded operators on Space Style linters #4022: Pull request #957 synchronize by gloges
30m 35s gloges:hilbert-space
gloges:hilbert-space
30m 35s
feat: Improve docs on space Style linters #4021: Pull request #959 synchronize by jstoobysmith
27m 25s SpaceDocs
SpaceDocs
27m 25s
feat: Improve docs on space Style linters #4020: Pull request #959 synchronize by jstoobysmith
30m 18s SpaceDocs
SpaceDocs
30m 18s
feat: Improve docs on space Style linters #4019: Pull request #959 synchronize by jstoobysmith
31m 0s SpaceDocs
SpaceDocs
31m 0s
feat: Improve docs on space Style linters #4018: Pull request #959 synchronize by jstoobysmith
30m 23s SpaceDocs
SpaceDocs
30m 23s
feat: Hilbert space & unbounded operators on Space Style linters #4017: Pull request #957 synchronize by gloges
30m 53s gloges:hilbert-space
gloges:hilbert-space
30m 53s