Skip to content

Actions: lean-phys-community/PhysLean

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: QM operator commutators Style linters #3884: Pull request #930 opened by gloges
18s gloges:commutators
gloges:commutators
18s
bump to v4.27.0 Style linters #3883: Pull request #929 synchronize by zhikaip
31m 25s bump-v4.27.0
bump-v4.27.0
31m 25s
bump to v4.27.0 Style linters #3882: Pull request #929 opened by zhikaip
30m 28s bump-v4.27.0
bump-v4.27.0
30m 28s
Update Lean Project Update Lean Project #44: Scheduled
2m 11s master
master
2m 11s
feat: Properties of the 2HDM potential (#927) Style linters #3881: Commit 3aea655 pushed by jstoobysmith
32m 16s master
master
32m 16s
feat: Add Maintainer policy (#925) Style linters #3880: Commit 5a4beaa pushed by jstoobysmith
32m 18s master
master
32m 18s
feat: Properties of the 2HDM potential Style linters #3879: Pull request #927 synchronize by jstoobysmith
32m 49s THDM5
THDM5
32m 49s
feat: Properties of the 2HDM potential Style linters #3878: Pull request #927 opened by jstoobysmith
28m 51s THDM5
THDM5
28m 51s
feat: Initial progress with d-dimensional QM operators (#926) Style linters #3877: Commit a4145c9 pushed by jstoobysmith
32m 7s master
master
32m 7s
feat: Initial progress with d-dimensional QM operators Style linters #3876: Pull request #926 synchronize by gloges
32m 38s gloges:master
gloges:master
32m 38s
feat: Initial progress with d-dimensional QM operators Style linters #3874: Pull request #926 opened by gloges
32m 30s gloges:master
gloges:master
32m 30s
feat: Add Maintainer policy Style linters #3873: Pull request #925 synchronize by jstoobysmith
33m 7s MaintainerTeam-
MaintainerTeam-
33m 7s
feat: Add Maintainer policy Style linters #3872: Pull request #925 synchronize by jstoobysmith
34m 4s MaintainerTeam-
MaintainerTeam-
34m 4s
feat: Add Maintainer policy Style linters #3871: Pull request #925 synchronize by jstoobysmith
28m 49s MaintainerTeam-
MaintainerTeam-
28m 49s
feat: Add Maintainer policy Style linters #3870: Pull request #925 synchronize by jstoobysmith
28m 45s MaintainerTeam-
MaintainerTeam-
28m 45s
feat: Add Maintainer policy Style linters #3869: Pull request #925 opened by jstoobysmith
32m 24s MaintainerTeam-
MaintainerTeam-
32m 24s
Update Lean Project Update Lean Project #43: Scheduled
2m 7s master
master
2m 7s
feat: Linting and small lemma (#924) Style linters #3868: Commit d127ae0 pushed by jstoobysmith
32m 26s master
master
32m 26s
feat: Linting and small lemma Style linters #3867: Pull request #924 opened by jstoobysmith
32m 1s THDM_update4
THDM_update4
32m 1s
feat: More properties of the two Higgs doublet model potential (#923) Style linters #3866: Commit 2bad08e pushed by jstoobysmith
31m 47s master
master
31m 47s
feat: More properties of the two Higgs doublet model potential Style linters #3865: Pull request #923 opened by jstoobysmith
33m 27s THDM_update3
THDM_update3
33m 27s
7RKGK: Replaced informal with sorryful (#922) Style linters #3864: Commit 7ba876c pushed by jstoobysmith
33m 12s master
master
33m 12s
Update Lean Project Update Lean Project #42: Scheduled
1m 52s master
master
1m 52s
7RKFR: Replaced informal with sorryful (#921) Style linters #3863: Commit 9aa1f31 pushed by jstoobysmith
28m 54s master
master
28m 54s
7RKGK: Replaced informal with sorryful Style linters #3862: Pull request #922 opened by kastch
32m 18s kastch:feat/7RKGK
kastch:feat/7RKGK
32m 18s