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: Update PRMessage.yml Style linters #1393: Pull request #1488 opened by jstoobysmith
9m 22s jstoobysmith:feat-Expectations
jstoobysmith:feat-Expectations
9m 22s
feat: Update PRMessage.yml PR Comment #328: Pull request #1488 opened by jstoobysmith
39s
39s
feat: Update PRMessage.yml Autolabel PRs #69: Pull request #1488 opened by jstoobysmith
13m 14s
13m 14s
feat: Effective potential for Weyl fermions (Stacked on #1404) Style linters #6270: Pull request #1415 synchronize by jstoobysmith
49m 54s jstoobysmith:AddPotentialAlgebra
jstoobysmith:AddPotentialAlgebra
49m 54s
feat: Effective potential for Weyl fermions (Stacked on #1404) Style linters #1392: Pull request #1415 synchronize by jstoobysmith
7m 53s jstoobysmith:AddPotentialAlgebra
jstoobysmith:AddPotentialAlgebra
7m 53s
docs(Electromagnetism): expand the foundational module overview (#1483) Style linters #1391: Commit 17315ee pushed by gloges
7m 54s master
master
7m 54s
docs(Electromagnetism): expand the foundational module overview (#1483) Style linters #6269: Commit 17315ee pushed by gloges
41m 30s master
master
41m 30s
feat(QuantumMechanics): add CompleteTensorProduct (#1486) Style linters #1390: Commit 10e58b0 pushed by jstoobysmith
9m 9s master
master
9m 9s
feat(QuantumMechanics): add CompleteTensorProduct (#1486) Style linters #6268: Commit 10e58b0 pushed by jstoobysmith
36m 35s master
master
36m 35s
docs(Electromagnetism): document the three-dimensional Maxwell equations module Label PR based on Comment #3038: Pull request #1484 created by gloges
22s
22s
docs(Electromagnetism): document the three-dimensional Maxwell equations module Label PR based on Comment #3037: Pull request #1484 submitted by gloges
12s
12s
fix(linters): re-enable the defsWithUnderscore linter (#1477) Style linters #6267: Commit 5a65edc pushed by jstoobysmith
37m 7s master
master
37m 7s
fix(linters): re-enable the defsWithUnderscore linter (#1477) Style linters #1389: Commit 5a65edc pushed by jstoobysmith
9m 6s master
master
9m 6s
docs(Electromagnetism): expand the foundational module overview Label PR based on Comment #3036: Pull request #1483 submitted by gloges
13s
13s
feat(QuantumMechanics): add CompleteTensorProduct Label PR based on Comment #3035: Pull request #1486 submitted by jstoobysmith
12s
12s
fix(linters): re-enable defsWithUnderscore with narrow exemptions Label PR based on Comment #3034: Pull request #1477 submitted by jstoobysmith
8s
8s
docs(fermions): add Weyl and Dirac fermion API maps Style linters #6266: Pull request #1487 opened by Robby955
42m 56s Robby955:fermion-api-maps-bcfb699a
Robby955:fermion-api-maps-bcfb699a
42m 56s
docs(fermions): add Weyl and Dirac fermion API maps Style linters #1388: Pull request #1487 opened by Robby955
6m 51s Robby955:fermion-api-maps-bcfb699a
Robby955:fermion-api-maps-bcfb699a
6m 51s
docs(fermions): add Weyl and Dirac fermion API maps PR Comment #327: Pull request #1487 opened by Robby955
28s
28s
docs(fermions): add Weyl and Dirac fermion API maps Autolabel PRs #68: Pull request #1487 opened by Robby955
1m 34s
1m 34s
auto-task(energyEigenstate_orthogonal): golf the tight-binding chain … Style linters #1387: Commit 6c9e5cb pushed by jstoobysmith
8m 16s master
master
8m 16s
auto-task(energyEigenstate_orthogonal): golf the tight-binding chain … Style linters #6265: Commit 6c9e5cb pushed by jstoobysmith
39m 54s master
master
39m 54s
auto-task(energyEigenstate_orthogonal): golf the tight-binding chain orthogonality proof Label PR based on Comment #3033: Pull request #1479 submitted by jstoobysmith
7s
7s
docs(ClassicalMechanics): expand the Euler-Lagrange module overview (… Style linters #1386: Commit 62b3c1b pushed by jstoobysmith
7m 12s master
master
7m 12s
docs(ClassicalMechanics): expand the Euler-Lagrange module overview (… Style linters #6264: Commit 62b3c1b pushed by jstoobysmith
39m 46s master
master
39m 46s