Skip to content

Actions: leanprover-community/physlib

Actions

Style linters

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
2,500+ workflow runs
2,500+ 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(QuantumMechanics): Sobolev submodules of SpaceDHilbertSpace Style linters #6102: Pull request #1434 synchronize by adambornemann-glitch
40m 46s adambornemann-glitch:feat/spacedhilbert-sobolev
adambornemann-glitch:feat/spacedhilbert-sobolev
40m 46s
feat(CondensedMatter): add the thermoelectric figure of merit Style linters #6101: Pull request #1440 synchronize by gbarbalinardo
Action required gbarbalinardo:thermoelectric-figure-of-merit
gbarbalinardo:thermoelectric-figure-of-merit
Action required
feat(CondensedMatter): add the thermoelectric figure of merit Style linters #6100: Pull request #1440 synchronize by gbarbalinardo
Action required gbarbalinardo:thermoelectric-figure-of-merit
gbarbalinardo:thermoelectric-figure-of-merit
Action required
feat(QuantumMechanics): adjoint of continuous operators Style linters #6099: Pull request #1443 synchronize by gloges
34m 34s gloges:operator-misc
gloges:operator-misc
34m 34s
feat(QuantumMechanics): basic properties/defs for HarmonicOscillator … Style linters #6098: Commit e02ba31 pushed by jstoobysmith
38m 55s master
master
38m 55s
feat(QuantumMechanics): the basic criterion of essential self-adjoint… Style linters #6097: Commit 67d9820 pushed by jstoobysmith
40m 25s master
master
40m 25s
feat(Tensors/Contraction): slot-addressed cross contraction and the general-rank raise/lower round trip Style linters #6096: Pull request #1375 synchronize by pariandrea
41m 31s pariandrea:tensors-bond-contraction
pariandrea:tensors-bond-contraction
41m 31s
feat(QuantumMechanics): adjoint of continuous operators Style linters #6095: Pull request #1443 opened by gloges
39m 36s gloges:operator-misc
gloges:operator-misc
39m 36s
feat(QuantumMechanics): basic properties/defs for HarmonicOscillator Style linters #6094: Pull request #1442 opened by gloges
40m 30s gloges:qho
gloges:qho
40m 30s
feat(QuantumMechanics): the basic criterion of essential self-adjoint… Style linters #6093: Pull request #1432 synchronize by adambornemann-glitch
30m 59s adambornemann-glitch:feat/ess-selfadjoint-criterion
adambornemann-glitch:feat/ess-selfadjoint-criterion
30m 59s
feat(Tensors/Contraction): slot-addressed cross contraction and the general-rank raise/lower round trip Style linters #6092: Pull request #1375 synchronize by pariandrea
37m 21s pariandrea:tensors-bond-contraction
pariandrea:tensors-bond-contraction
37m 21s
feat(QuantumMechanics): Sobolev submodules of SpaceDHilbertSpace Style linters #6091: Pull request #1434 synchronize by adambornemann-glitch
31m 34s adambornemann-glitch:feat/spacedhilbert-sobolev
adambornemann-glitch:feat/spacedhilbert-sobolev
31m 34s
feat(QuantumMechanics): the basic criterion of essential self-adjoint… Style linters #6090: Pull request #1432 synchronize by adambornemann-glitch
41m 13s adambornemann-glitch:feat/ess-selfadjoint-criterion
adambornemann-glitch:feat/ess-selfadjoint-criterion
41m 13s
feat(QuantumMechanics): the basic criterion of essential self-adjoint… Style linters #6089: Pull request #1432 synchronize by adambornemann-glitch
37m 25s adambornemann-glitch:feat/ess-selfadjoint-criterion
adambornemann-glitch:feat/ess-selfadjoint-criterion
37m 25s
feat(CondensedMatter): add the thermoelectric figure of merit Style linters #6088: Pull request #1440 opened by gbarbalinardo
30m 46s gbarbalinardo:thermoelectric-figure-of-merit
gbarbalinardo:thermoelectric-figure-of-merit
30m 46s
feat(Mathematics): temperate growth of the affine resolvent reciproca… Style linters #6087: Commit 062421d pushed by jstoobysmith
39m 1s master
master
39m 1s
docs(electromagnetism): add kinematics API map Style linters #6086: Pull request #1439 opened by Robby955
35m 30s Robby955:api-map-electromagnetism
Robby955:api-map-electromagnetism
35m 30s
docs(classical-field): add gauge theory API map Style linters #6085: Pull request #1438 opened by Robby955
32m 38s Robby955:api-map-classical-field
Robby955:api-map-classical-field
32m 38s
ci: lint API maps (#1436) Style linters #6084: Commit 02ac9f1 pushed by jstoobysmith
1h 23m 5s master
master
1h 23m 5s
feat(QuantumMechanics): add RectangularBarrier (#1435) Style linters #6083: Commit b811389 pushed by jstoobysmith
39m 1s master
master
39m 1s
feat(QuantumMechanics): add DirichletSubmoduleOn (#1431) Style linters #6082: Commit f3aae9a pushed by jstoobysmith
38m 53s master
master
38m 53s
ci: lint API maps Style linters #6081: Pull request #1436 synchronize by Robby955
39m 51s Robby955:api-map-lint
Robby955:api-map-lint
39m 51s
ci: lint API maps Style linters #6080: Pull request #1436 opened by Robby955
37m 53s Robby955:api-map-lint
Robby955:api-map-lint
37m 53s
feat(QuantumMechanics): add RectangularBarrier Style linters #6079: Pull request #1435 opened by gloges
42m 11s gloges:qm-barrier
gloges:qm-barrier
42m 11s
feat(QuantumMechanics): add DirichletSubmoduleOn Style linters #6078: Pull request #1431 synchronize by gloges
38m 11s gloges:qm-dirichlet
gloges:qm-dirichlet
38m 11s