Skip to content

Actions: leanprover-community/physlib

Actions

Style linters

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
alphaBuild.yml
1,311 workflow runs
1,311 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat: API map index generator and guide Style linters #1365: Pull request #1473 synchronize by Robby955
16m 13s Robby955:api-map-site-index
Robby955:api-map-site-index
16m 13s
EVMPR theorem twoState_helmholtzFreeEnergy_eq Style linters #1364: Pull request #1474 synchronize by korolrom
Action required korolrom:master
korolrom:master
Action required
feat(ClassicalMechanics): inertia tensor about a point and the parallel-axis theorem Style linters #1363: Pull request #1475 opened by giuseppesorge
9m 18s giuseppesorge:rigidbody-parallel-axis
giuseppesorge:rigidbody-parallel-axis
9m 18s
EVMPR theorem twoState_helmholtzFreeEnergy_eq Style linters #1362: Pull request #1474 synchronize by korolrom
8m 55s korolrom:master
korolrom:master
8m 55s
EVMPR theorem twoState_helmholtzFreeEnergy_eq Style linters #1361: Pull request #1474 opened by korolrom
7m 46s korolrom:master
korolrom:master
7m 46s
feat: API map index generator and guide Style linters #1360: Pull request #1473 synchronize by Robby955
7m 21s Robby955:api-map-site-index
Robby955:api-map-site-index
7m 21s
feat: API map index generator and guide Style linters #1359: Pull request #1473 opened by Robby955
7m 23s Robby955:api-map-site-index
Robby955:api-map-site-index
7m 23s
feat: Effective potential for Weyl fermions (Stacked on #1404) Style linters #1358: Pull request #1415 synchronize by jstoobysmith
7m 20s jstoobysmith:AddPotentialAlgebra
jstoobysmith:AddPotentialAlgebra
7m 20s
feat: Effective potential for Weyl fermions (Stacked on #1404) Style linters #1357: Pull request #1415 synchronize by jstoobysmith
7m 57s jstoobysmith:AddPotentialAlgebra
jstoobysmith:AddPotentialAlgebra
7m 57s
feat(Mathematics): ContDiff and HasTemperateGrowth for physHermite … Style linters #1356: Commit 471cf7f pushed by jstoobysmith
7m 40s master
master
7m 40s
feat: Effective potential for Weyl fermions (Stacked on #1404) Style linters #1355: Pull request #1415 synchronize by jstoobysmith
6m 29s jstoobysmith:AddPotentialAlgebra
jstoobysmith:AddPotentialAlgebra
6m 29s
feat: Effective potential for Weyl fermions (Stacked on #1404) Style linters #1354: Pull request #1415 synchronize by jstoobysmith
7m 45s jstoobysmith:AddPotentialAlgebra
jstoobysmith:AddPotentialAlgebra
7m 45s
feat: Effective potential for Weyl fermions (Stacked on #1404) Style linters #1353: Pull request #1415 synchronize by jstoobysmith
7m 30s jstoobysmith:AddPotentialAlgebra
jstoobysmith:AddPotentialAlgebra
7m 30s
feat: Effective potential for Weyl fermions (Stacked on #1404) Style linters #1352: Pull request #1415 synchronize by jstoobysmith
8m 1s jstoobysmith:AddPotentialAlgebra
jstoobysmith:AddPotentialAlgebra
8m 1s
feat: Effective potential for Weyl fermions (Stacked on #1404) Style linters #1351: Pull request #1415 synchronize by jstoobysmith
7m 44s jstoobysmith:AddPotentialAlgebra
jstoobysmith:AddPotentialAlgebra
7m 44s
feat: Effective potential for Weyl fermions (Stacked on #1404) Style linters #1350: Pull request #1415 synchronize by jstoobysmith
6m 21s jstoobysmith:AddPotentialAlgebra
jstoobysmith:AddPotentialAlgebra
6m 21s
refactor: remove erw from wave equation proofs (#1472) Style linters #1349: Commit f696c6b pushed by jstoobysmith
7m 8s master
master
7m 8s
Update README to remove name change note (#1470) Style linters #1348: Commit 2e72f36 pushed by jstoobysmith
8m 5s master
master
8m 5s
refactor: remove erw from wave equation proofs Style linters #1347: Pull request #1472 opened by Robertboy18
7m 10s Robertboy18:refactor/wave-equation-erw
Robertboy18:refactor/wave-equation-erw
7m 10s
feat(Mathematics): ContDiff and HasTemperateGrowth for physHermite Style linters #1346: Pull request #1471 opened by gloges
7m 46s gloges:hermite
gloges:hermite
7m 46s
feat: Effective potential for Weyl fermions (Stacked on #1404) Style linters #1345: Pull request #1415 synchronize by jstoobysmith
7m 32s jstoobysmith:AddPotentialAlgebra
jstoobysmith:AddPotentialAlgebra
7m 32s
Update README to remove name change note Style linters #1344: Pull request #1470 opened by jstoobysmith
9m 48s jstoobysmith-patch-1
jstoobysmith-patch-1
9m 48s
feat: Effective potential for Weyl fermions (Stacked on #1404) Style linters #1343: Pull request #1415 synchronize by jstoobysmith
7m 15s jstoobysmith:AddPotentialAlgebra
jstoobysmith:AddPotentialAlgebra
7m 15s
feat: Effective potential for Weyl fermions (Stacked on #1404) Style linters #1342: Pull request #1415 synchronize by jstoobysmith
8m 24s jstoobysmith:AddPotentialAlgebra
jstoobysmith:AddPotentialAlgebra
8m 24s
feat: Effective potential for Weyl fermions (Stacked on #1404) Style linters #1341: Pull request #1415 synchronize by jstoobysmith
7m 25s jstoobysmith:AddPotentialAlgebra
jstoobysmith:AddPotentialAlgebra
7m 25s