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
Expire review claims Expire review claims #529: Scheduled
9s master
master
9s
Expire review claims Expire review claims #528: Scheduled
10s master
master
10s
feat(PhyslibAlpha): the mass as a cohomology class of the Galilean Lie algebra (Souriau) Label PR based on Comment #4262: Pull request #1684 submitted by jstoobysmith
7s
7s
feat(PhyslibAlpha): the mass as a cohomology class of the Galilean Lie algebra (Souriau) Review claims #311: Pull request #1684 submitted by jstoobysmith
9s
9s
feat: Effective potential for Weyl fermions (Stacked on #1404) PR size label #616: Pull request #1415 synchronize by nateabr
8s
8s
feat(PhyslibAlpha): the mass cocycle of the Galilean group (Souriau) Autolabel PRs #239: Pull request #1687 opened by KevorkianPhilippe
2m 30s
2m 30s
feat(PhyslibAlpha): the mass cocycle of the Galilean group (Souriau) Style linters #6983: Pull request #1687 opened by KevorkianPhilippe
4m 27s KevorkianPhilippe:galilee-2
KevorkianPhilippe:galilee-2
4m 27s
feat(PhyslibAlpha): the mass cocycle of the Galilean group (Souriau) Style linters #2105: Pull request #1687 opened by KevorkianPhilippe
3m 16s KevorkianPhilippe:galilee-2
KevorkianPhilippe:galilee-2
3m 16s
feat(PhyslibAlpha): the mass cocycle of the Galilean group (Souriau) PR size label #615: Pull request #1687 opened by KevorkianPhilippe
10s
10s
feat(PhyslibAlpha): the mass cocycle of the Galilean group (Souriau) PR Comment #495: Pull request #1687 opened by KevorkianPhilippe
27s
27s
Expire review claims Expire review claims #527: Scheduled
8s master
master
8s
Expire review claims Expire review claims #526: Scheduled
8s master
master
8s
Expire review claims Expire review claims #525: Scheduled
7s master
master
7s
Expire review claims Expire review claims #524: Scheduled
9s master
master
9s
feat: add angular momentum squared and ladder operators Style linters #2104: Pull request #1679 synchronize by lizr-phys
3m 34s lizr-phys:feat/angular-momentum-squared-ladders
lizr-phys:feat/angular-momentum-squared-ladders
3m 34s
feat: add angular momentum squared and ladder operators Style linters #6982: Pull request #1679 synchronize by lizr-phys
5m 31s lizr-phys:feat/angular-momentum-squared-ladders
lizr-phys:feat/angular-momentum-squared-ladders
5m 31s
feat: add angular momentum squared and ladder operators PR size label #614: Pull request #1679 synchronize by lizr-phys
10s
10s
feat(PhyslibAlpha): the mass as a cohomology class of the Galilean Lie algebra (Souriau) Review claims #310: Issue comment #1684 (comment) created by KevorkianPhilippe
1s
1s
feat(PhyslibAlpha): the mass as a cohomology class of the Galilean Lie algebra (Souriau) Label PR based on Comment #4261: Issue comment #1684 (comment) created by KevorkianPhilippe
42s
42s
feat(PhyslibAlpha): the mass as a cohomology class of the Galilean Lie algebra (Souriau) Check golf #623: Issue comment #1684 (comment) created by KevorkianPhilippe
1s
1s
feat(PhyslibAlpha): the mass as a cohomology class of the Galilean Lie algebra (Souriau) Style linters #6981: Pull request #1684 synchronize by KevorkianPhilippe
5m 12s KevorkianPhilippe:galilee-1
KevorkianPhilippe:galilee-1
5m 12s
feat(PhyslibAlpha): the mass as a cohomology class of the Galilean Lie algebra (Souriau) Style linters #2103: Pull request #1684 synchronize by KevorkianPhilippe
3m 4s KevorkianPhilippe:galilee-1
KevorkianPhilippe:galilee-1
3m 4s
feat(PhyslibAlpha): the mass as a cohomology class of the Galilean Lie algebra (Souriau) PR size label #613: Pull request #1684 synchronize by KevorkianPhilippe
9s
9s
Expire review claims Expire review claims #523: Scheduled
11s master
master
11s
feat(QuantumMechanics): Hamiltonian and related operators of the Pöschl-Teller system Review claims #309: Pull request #1651 submitted by jstoobysmith
8s
8s