Skip to content

Actions: lean-phys-community/PhysLean

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Hilbert space & unbounded operators on Space Style linters #3990: Pull request #957 synchronize by gloges
28m 4s gloges:hilbert-space
gloges:hilbert-space
28m 4s
feat: Hilbert space & unbounded operators on Space Style linters #3989: Pull request #957 synchronize by gloges
30m 40s gloges:hilbert-space
gloges:hilbert-space
30m 40s
feat: Hilbert space & unbounded operators on Space Style linters #3988: Pull request #957 synchronize by gloges
30m 55s gloges:hilbert-space
gloges:hilbert-space
30m 55s
feat: Thermodynamics (and some minor changes to StatisticalMechanics) Style linters #3987: Pull request #958 opened by ichxorya
30m 53s SEhumantics:master
SEhumantics:master
30m 53s
feat: Hilbert space & unbounded operators on Space Style linters #3986: Pull request #957 synchronize by gloges
30m 23s gloges:hilbert-space
gloges:hilbert-space
30m 23s
feat: Hilbert space & unbounded operators on Space Style linters #3985: Pull request #957 synchronize by gloges
30m 36s gloges:hilbert-space
gloges:hilbert-space
30m 36s
feat: Hilbert space & unbounded operators on Space Style linters #3984: Pull request #957 synchronize by gloges
30m 36s gloges:hilbert-space
gloges:hilbert-space
30m 36s
Update Lean Project Update Lean Project #46: Scheduled
2m 11s master
master
2m 11s
feat: Hilbert space & unbounded operators on Space Style linters #3983: Pull request #957 opened by gloges
32m 8s gloges:hilbert-space
gloges:hilbert-space
32m 8s
Merge pull request #955 from lean-phys-community/bump_v4.28.0 Style linters #3982: Commit c901c54 pushed by zhikaip
30m 7s master
master
30m 7s
feat: 2HDM clean up (#937) Style linters #3981: Commit 08d3f33 pushed by jstoobysmith
33m 40s master
master
33m 40s
Initial Commit for Orbital Mechanics Style linters #3980: Pull request #956 synchronize by hannxmarie
32m 37s hannxmarie:hannah/vis-viva
hannxmarie:hannah/vis-viva
32m 37s
chore: bump to v4.28.0 Style linters #3979: Pull request #955 synchronize by zhikaip
29m 57s bump_v4.28.0
bump_v4.28.0
29m 57s
chore: bump to v4.28.0 Style linters #3978: Pull request #955 synchronize by zhikaip
31m 34s bump_v4.28.0
bump_v4.28.0
31m 34s
Initial Commit for Orbital Mechanics Style linters #3977: Pull request #956 opened by hannxmarie
32m 3s hannxmarie:hannah/vis-viva
hannxmarie:hannah/vis-viva
32m 3s
chore: bump to v4.28.0 Style linters #3976: Pull request #955 opened by zhikaip
30m 2s bump_v4.28.0
bump_v4.28.0
30m 2s
feat: Static EM Style linters #3975: Pull request #953 opened by jstoobysmith
32m 33s StaticEM
StaticEM
32m 33s
refactor: Integrals Style linters #3974: Pull request #952 synchronize by jstoobysmith
33m 50s Integrals
Integrals
33m 50s
refactor: Integrals Style linters #3973: Pull request #952 synchronize by jstoobysmith
29m 45s Integrals
Integrals
29m 45s
refactor: Integrals Style linters #3972: Pull request #952 opened by jstoobysmith
31m 22s Integrals
Integrals
31m 22s
Merge pull request #951 from lean-phys-community/unused_simp Style linters #3971: Commit f7a48c2 pushed by zhikaip
32m 26s master
master
32m 26s
feat: Add surfaces Style linters #3970: Pull request #942 synchronize by jstoobysmith
28m 10s Surfaces
Surfaces
28m 10s
chore: remove unused simp lemmas Style linters #3969: Pull request #951 opened by zhikaip
33m 34s unused_simp
unused_simp
33m 34s
feat: Add surfaces Style linters #3968: Pull request #942 synchronize by jstoobysmith
24m 28s Surfaces
Surfaces
24m 28s
Merge pull request #950 from lean-phys-community/pietro/remove-erws Style linters #3967: Commit acf68d8 pushed by pitmonticone
32m 58s master
master
32m 58s