Skip to content

Actions: lean-phys-community/PhysLean

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
refactor: Integrals Style linters #4016: Pull request #952 synchronize by jstoobysmith
30m 9s Integrals
Integrals
30m 9s
refactor: Integrals Style linters #4015: Pull request #952 synchronize by jstoobysmith
31m 18s Integrals
Integrals
31m 18s
feat(Generalized): prove generalizedBoost_timeComponent_eq Style linters #4014: Pull request #960 synchronize by pitmonticone
29m 21s aristotle/generalized
aristotle/generalized
29m 21s
feat(SolidSphere): prove solidSphere_inertiaTensor Style linters #4013: Pull request #962 opened by pitmonticone
31m 2s aristotle/solidsphere
aristotle/solidsphere
31m 2s
Merge pull request #961 from lean-phys-community/aristotle/basic Style linters #4012: Commit c6d3cf5 pushed by morrison-daniel
30m 25s master
master
30m 25s
feat(Basic): prove linSolsIncl_injective Style linters #4011: Pull request #961 opened by pitmonticone
31m 22s aristotle/basic
aristotle/basic
31m 22s
feat(Generalized): prove generalizedBoost_timeComponent_eq Style linters #4010: Pull request #960 opened by pitmonticone
30m 11s aristotle/generalized
aristotle/generalized
30m 11s
feat: Thermodynamics (and some minor changes to StatisticalMechanics) Style linters #4009: Pull request #958 synchronize by ichxorya
30m 24s SEhumantics:master
SEhumantics:master
30m 24s
feat: Hilbert space & unbounded operators on Space Style linters #4008: Pull request #957 synchronize by gloges
31m 18s gloges:hilbert-space
gloges:hilbert-space
31m 18s
feat: Improve docs on space Style linters #4007: Pull request #959 synchronize by jstoobysmith
31m 12s SpaceDocs
SpaceDocs
31m 12s
feat: Hilbert space & unbounded operators on Space Style linters #4006: Pull request #957 synchronize by gloges
32m 22s gloges:hilbert-space
gloges:hilbert-space
32m 22s
feat: Improve docs on space Style linters #4005: Pull request #959 synchronize by jstoobysmith
29m 22s SpaceDocs
SpaceDocs
29m 22s
feat: Improve docs on space Style linters #4004: Pull request #959 opened by jstoobysmith
30m 24s SpaceDocs
SpaceDocs
30m 24s
feat: Thermodynamics (and some minor changes to StatisticalMechanics) Style linters #4003: Pull request #958 synchronize by ichxorya
30m 44s SEhumantics:master
SEhumantics:master
30m 44s
Initial IdealFluid structure Style linters #4002: Pull request #949 synchronize by mog1el
30m 43s mog1el:Fluids
mog1el:Fluids
30m 43s