Skip to content

Actions: leanprover-community/physlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

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): derivative operators via Fourier-conjugated m… Label PR based on Comment #2906: Issue comment #1454 (comment) created by adambornemann-glitch
6s
6s
feat(QuantumMechanics): derivative operators via Fourier-conjugated m… Check golf #184: Issue comment #1454 (comment) created by adambornemann-glitch
1s
1s
feat(QuantumMechanics): Sobolev submodules of SpaceDHilbertSpace Label PR based on Comment #2905: Issue comment #1434 (comment) created by adambornemann-glitch
7s
7s
feat(QuantumMechanics): Sobolev submodules of SpaceDHilbertSpace Check golf #183: Issue comment #1434 (comment) created by adambornemann-glitch
1s
1s
feat(QuantumMechanics): Sobolev submodules of SpaceDHilbertSpace Style linters #6152: Pull request #1434 synchronize by adambornemann-glitch
37m 16s adambornemann-glitch:feat/spacedhilbert-sobolev
adambornemann-glitch:feat/spacedhilbert-sobolev
37m 16s
feat(QuantumMechanics): Sobolev submodules of SpaceDHilbertSpace Style linters #1274: Pull request #1434 synchronize by adambornemann-glitch
8m 20s adambornemann-glitch:feat/spacedhilbert-sobolev
adambornemann-glitch:feat/spacedhilbert-sobolev
8m 20s
feat(QuantumMechanics): Sobolev submodules of SpaceDHilbertSpace Style linters #6151: Pull request #1434 synchronize by adambornemann-glitch
41m 52s adambornemann-glitch:feat/spacedhilbert-sobolev
adambornemann-glitch:feat/spacedhilbert-sobolev
41m 52s
feat(QuantumMechanics): Sobolev submodules of SpaceDHilbertSpace Style linters #1273: Pull request #1434 synchronize by adambornemann-glitch
9m 14s adambornemann-glitch:feat/spacedhilbert-sobolev
adambornemann-glitch:feat/spacedhilbert-sobolev
9m 14s
auto-task(QuantumInfo.ClassicalInfo.Capacity): minimize imports Label PR based on Comment #2904: Pull request #1455 submitted by jstoobysmith
Action required
Action required
feat(FluidDynamics): Adding more fluid dynamics - continuation of PR … Style linters #1272: Commit eb401c9 pushed by jstoobysmith
7m 29s master
master
7m 29s
feat(FluidDynamics): Adding more fluid dynamics - continuation of PR … Style linters #6150: Commit eb401c9 pushed by jstoobysmith
40m 42s master
master
40m 42s
docs(fluid-dynamics): add fluid API map Check golf #182: Issue comment #1450 (comment) created by jstoobysmith
1s
1s
docs(fluid-dynamics): add fluid API map Label PR based on Comment #2903: Issue comment #1450 (comment) created by jstoobysmith
8s
8s
docs(classical-mechanics): add configuration API maps Label PR based on Comment #2902: Pull request #1444 submitted by jstoobysmith
5s
5s
docs(fluid-dynamics): add fluid API map Style linters #1271: Pull request #1450 synchronize by Robby955
7m 25s Robby955:api-map-fluid-dynamics
Robby955:api-map-fluid-dynamics
7m 25s
docs(fluid-dynamics): add fluid API map Style linters #6149: Pull request #1450 synchronize by Robby955
39m 34s Robby955:api-map-fluid-dynamics
Robby955:api-map-fluid-dynamics
39m 34s
docs(classical-mechanics): add configuration API maps Style linters #1270: Pull request #1444 synchronize by Robby955
7m 49s Robby955:api-map-classical-mechanics
Robby955:api-map-classical-mechanics
7m 49s
docs(classical-mechanics): add configuration API maps Style linters #6148: Pull request #1444 synchronize by Robby955
38m 21s Robby955:api-map-classical-mechanics
Robby955:api-map-classical-mechanics
38m 21s
feat(QuantumMechanics): derivative operators via Fourier-conjugated m… Style linters #1269: Pull request #1454 synchronize by adambornemann-glitch
8m 29s adambornemann-glitch:feat/deriv-operator
adambornemann-glitch:feat/deriv-operator
8m 29s
feat(QuantumMechanics): derivative operators via Fourier-conjugated m… Style linters #6147: Pull request #1454 synchronize by adambornemann-glitch
39m 23s adambornemann-glitch:feat/deriv-operator
adambornemann-glitch:feat/deriv-operator
39m 23s
docs(QuantumMechanics): add Hilbert space API map Label PR based on Comment #2901: Pull request #1456 submitted by jstoobysmith
5s
5s
feat(FluidDynamics): Adding more fluid dynamics - continuation of PR #949 and #1112 , Label PR based on Comment #2900: Pull request #1125 submitted by jstoobysmith
5s
5s
docs(classical-mechanics): add configuration API maps Label PR based on Comment #2899: Pull request #1444 created by jstoobysmith
16s
16s
docs(classical-mechanics): add configuration API maps Label PR based on Comment #2898: Pull request #1444 submitted by jstoobysmith
16s
16s
feat(Units): parameterise Dimension and its unit twin over a basis (S… Style linters #1268: Commit 1417b57 pushed by jstoobysmith
7m 39s master
master
7m 39s