Skip to content

Actions: HEPLean/PhysLean

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Update ConstantTimeDist dimensions (#812) Style linters #3635: Commit 674aae0 pushed by jstoobysmith
25m 25s master
master
25m 25s
feat: Update ConstantTimeDist dimensions Style linters #3634: Pull request #812 synchronize by jstoobysmith
28m 19s ConstantTimeDistImprovement
ConstantTimeDistImprovement
28m 19s
feat: Space slice (#811) Style linters #3633: Commit 00aca87 pushed by jstoobysmith
28m 30s master
master
28m 30s
feat: Update ConstantTimeDist dimensions Style linters #3632: Pull request #812 synchronize by jstoobysmith
28m 19s ConstantTimeDistImprovement
ConstantTimeDistImprovement
28m 19s
feat: Update ConstantTimeDist dimensions Style linters #3631: Pull request #812 opened by jstoobysmith
29m 1s ConstantTimeDistImprovement
ConstantTimeDistImprovement
29m 1s
feat: Space slice Style linters #3630: Pull request #811 synchronize by jstoobysmith
28m 53s SpaceSlice
SpaceSlice
28m 53s
feat: Space slice Style linters #3629: Pull request #811 opened by jstoobysmith
27m 43s SpaceSlice
SpaceSlice
27m 43s
Merge pull request #810 from HEPLean/pitmonticone/feat-FLRW_Basic Style linters #3628: Commit 22c183e pushed by pitmonticone
27m 47s master
master
27m 47s
Trying to address GHI 808 (#809) Style linters #3627: Commit 71bd45e pushed by jstoobysmith
28m 39s master
master
28m 39s
feat(Cosmology/FLRW/Basic): prove all lemmas Style linters #3626: Pull request #810 opened by pitmonticone
28m 15s pitmonticone/feat-FLRW_Basic
pitmonticone/feat-FLRW_Basic
28m 15s
Trying to address GHI 808 Style linters #3625: Pull request #809 synchronize by NicolaBernini
24m 47s NicolaBernini:trying-to-address-ghi-808
NicolaBernini:trying-to-address-ghi-808
24m 47s
Trying to address GHI 808 Style linters #3624: Pull request #809 synchronize by NicolaBernini
27m 32s NicolaBernini:trying-to-address-ghi-808
NicolaBernini:trying-to-address-ghi-808
27m 32s
Update Lean Project Update Lean Project #32: Scheduled
1m 54s master
master
1m 54s
Trying to address GHI 808 Style linters #3618: Pull request #809 synchronize by NicolaBernini
26m 59s NicolaBernini:trying-to-address-ghi-808
NicolaBernini:trying-to-address-ghi-808
26m 59s
feat: Add changes (#807) Style linters #3616: Commit f02c524 pushed by jstoobysmith
27m 45s master
master
27m 45s
Fill in sorry for solidSphere_centerOfMass (#806) Style linters #3615: Commit 69dea8e pushed by jstoobysmith
27m 58s master
master
27m 58s
feat: More properties of the norm Style linters #3614: Pull request #807 opened by jstoobysmith
28m 8s MorePropsOfNorms
MorePropsOfNorms
28m 8s
Fill in sorry for solidSphere_centerOfMass Style linters #3613: Pull request #806 opened by usernamenotavailablepleasechooseanother
24m 26s usernamenotavailablepleasechooseanother:master
usernamenotavailablepleasechooseanother:master
24m 26s
feat: Add more properties of the norm (#805) Style linters #3612: Commit 3f1076e pushed by jstoobysmith
27m 56s master
master
27m 56s
feat: Add more properties of the norm Style linters #3611: Pull request #805 synchronize by jstoobysmith
27m 54s MorePropertiesOfNorm
MorePropertiesOfNorm
27m 54s
feat: Add more properties of the norm Style linters #3610: Pull request #805 opened by jstoobysmith
28m 1s MorePropertiesOfNorm
MorePropertiesOfNorm
28m 1s
feat: Add norm properties on space (#804) Style linters #3609: Commit bd3f763 pushed by jstoobysmith
28m 26s master
master
28m 26s
feat: Add norm properties on space Style linters #3608: Pull request #804 synchronize by jstoobysmith
27m 28s SpaceNorm
SpaceNorm
27m 28s
feat: Add norm properties on space Style linters #3607: Pull request #804 opened by jstoobysmith
26m 50s SpaceNorm
SpaceNorm
26m 50s
feat: Refactor ofFunction and add time integrals (#803) Style linters #3606: Commit 282b482 pushed by jstoobysmith
27m 37s master
master
27m 37s