Skip to content

Actions: lean-phys-community/PhysLean

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Add surfaces Style linters #3946: Pull request #942 synchronize by jstoobysmith
In progress Surfaces
Surfaces
In progress
Initial IdealFluid structure Style linters #3945: Pull request #949 opened by mog1el
In progress mog1el:Fluids
mog1el:Fluids
In progress
feat: Started working on GHI 846 Style linters #3944: Pull request #876 synchronize by NicolaBernini
In progress NicolaBernini:feat/ghi-846
NicolaBernini:feat/ghi-846
In progress
feat: Started working on GHI 846 Style linters #3943: Pull request #876 synchronize by NicolaBernini
29m 16s NicolaBernini:feat/ghi-846
NicolaBernini:feat/ghi-846
29m 16s
feat: Add surfaces Style linters #3942: Pull request #942 synchronize by jstoobysmith
30m 44s Surfaces
Surfaces
30m 44s
chore: change _neq_ to _ne_ for a unified style (#946) Style linters #3941: Commit 1dd3e1b pushed by jstoobysmith
30m 45s master
master
30m 45s
Remove sorry: prove realLorentzTensor.evalT_toComplex Style linters #3940: Pull request #948 opened by kastch
29m 30s kastch:feat/realLorentzTensor.evalT_toComplex
kastch:feat/realLorentzTensor.evalT_toComplex
29m 30s
feat: Started working on GHI 846 Style linters #3939: Pull request #876 synchronize by NicolaBernini
30m 13s NicolaBernini:feat/ghi-846
NicolaBernini:feat/ghi-846
30m 13s
feat: Started working on GHI 846 Style linters #3938: Pull request #876 synchronize by NicolaBernini
29m 38s NicolaBernini:feat/ghi-846
NicolaBernini:feat/ghi-846
29m 38s
feat: Started working on GHI 846 Style linters #3937: Pull request #876 synchronize by NicolaBernini
30m 58s NicolaBernini:feat/ghi-846
NicolaBernini:feat/ghi-846
30m 58s
Remove sorry: Prove realLorentzTensor.contrT_toComplex (#944) Style linters #3936: Commit f86c41a pushed by jstoobysmith
27m 48s master
master
27m 48s
feat: Started working on GHI 846 Style linters #3935: Pull request #876 synchronize by NicolaBernini
29m 44s NicolaBernini:feat/ghi-846
NicolaBernini:feat/ghi-846
29m 44s
feat: Started working on GHI 846 Style linters #3934: Pull request #876 synchronize by NicolaBernini
30m 6s NicolaBernini:feat/ghi-846
NicolaBernini:feat/ghi-846
30m 6s
feat: Started working on GHI 846 Style linters #3933: Pull request #876 synchronize by NicolaBernini
29m 41s NicolaBernini:feat/ghi-846
NicolaBernini:feat/ghi-846
29m 41s
feat: Laplace-Runge-Lenz vector Style linters #3932: Pull request #947 synchronize by gloges
31m 58s gloges:LRL-vector
gloges:LRL-vector
31m 58s
feat: Laplace-Runge-Lenz vector Style linters #3931: Pull request #947 synchronize by gloges
32m 33s gloges:LRL-vector
gloges:LRL-vector
32m 33s
feat: Laplace-Runge-Lenz vector Style linters #3930: Pull request #947 opened by gloges
31m 50s gloges:LRL-vector
gloges:LRL-vector
31m 50s
feat: Started working on GHI 846 Style linters #3929: Pull request #876 synchronize by NicolaBernini
31m 33s NicolaBernini:feat/ghi-846
NicolaBernini:feat/ghi-846
31m 33s
feat: Started working on GHI 846 Style linters #3928: Pull request #876 synchronize by NicolaBernini
29m 21s NicolaBernini:feat/ghi-846
NicolaBernini:feat/ghi-846
29m 21s
chore: change _neq_ to _ne_ for a unified style Style linters #3927: Pull request #946 opened by ichxorya
30m 55s ichxorya:master
ichxorya:master
30m 55s
feat: Started working on GHI 846 Style linters #3926: Pull request #876 synchronize by NicolaBernini
29m 40s NicolaBernini:feat/ghi-846
NicolaBernini:feat/ghi-846
29m 40s
feat: Started working on GHI 846 Style linters #3925: Pull request #876 synchronize by NicolaBernini
29m 56s NicolaBernini:feat/ghi-846
NicolaBernini:feat/ghi-846
29m 56s
feat: Started working on GHI 846 Style linters #3924: Pull request #876 synchronize by NicolaBernini
29m 33s NicolaBernini:feat/ghi-846
NicolaBernini:feat/ghi-846
29m 33s
feat: Started working on GHI 846 Style linters #3923: Pull request #876 synchronize by NicolaBernini
29m 46s NicolaBernini:feat/ghi-846
NicolaBernini:feat/ghi-846
29m 46s
Update Lean Project Update Lean Project #45: Scheduled
1m 54s master
master
1m 54s