Skip to content

Actions: leanprover-community/physlib

Actions

PR size label

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr_size_label.yaml
253 workflow runs
253 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
refactor(OperatorAlgebra): Implement states in more Mathlib-aligned style (RFC) PR size label #253: Pull request #1602 opened by goliath-klein
8s
8s
GitHub review claim labels PR size label #252: Pull request #1601 synchronize by Alex-Zughaid
10s
10s
feat: Effective potential for Weyl fermions (Stacked on #1404) PR size label #251: Pull request #1415 synchronize by jstoobysmith
9s
9s
feat: Effective potential for Weyl fermions (Stacked on #1404) PR size label #250: Pull request #1415 synchronize by jstoobysmith
7s
7s
GitHub review claim labels PR size label #249: Pull request #1601 synchronize by Alex-Zughaid
10s
10s
GitHub review claim labels PR size label #248: Pull request #1601 opened by Alex-Zughaid
11s
11s
feat: Effective potential for Weyl fermions (Stacked on #1404) PR size label #247: Pull request #1415 synchronize by jstoobysmith
8s
8s
Speed up cache build workflow PR size label #246: Pull request #1591 synchronize by Alex-Zughaid
8s
8s
feat: Effective potential for Weyl fermions (Stacked on #1404) PR size label #245: Pull request #1415 synchronize by jstoobysmith
9s
9s
feat: Effective potential for Weyl fermions (Stacked on #1404) PR size label #244: Pull request #1415 synchronize by jstoobysmith
10s
10s
feat: Effective potential for Weyl fermions (Stacked on #1404) PR size label #243: Pull request #1415 synchronize by jstoobysmith
9s
9s
feat: Effective potential for Weyl fermions (Stacked on #1404) PR size label #242: Pull request #1415 synchronize by jstoobysmith
9s
9s
feat(Units): component lemmas for the Exponent power of a dimension PR size label #241: Pull request #1600 opened by NicolasRouquette
8s
8s
feat: Effective potential for Weyl fermions (Stacked on #1404) PR size label #240: Pull request #1415 synchronize by jstoobysmith
10s
10s
refactor(SpaceAndTime): move cmap and cmap_apply to Space/SmoothFunctions PR size label #239: Pull request #1599 opened by giuseppesorge
10s
10s
feat(QuantumInfo): quantum Cramér–Rao bound for pure states PR size label #238: Pull request #1587 synchronize by naype888-cloud
8s
8s
feat: Effective potential for Weyl fermions (Stacked on #1404) PR size label #237: Pull request #1415 synchronize by doxtor6
7s
7s
Reimprove readme PR size label #236: Pull request #1598 opened by jstoobysmith
9s
9s
feat(ClassicalMechanics): existence and uniqueness for the nonlinear simple pendulum PR size label #235: Pull request #1575 synchronize by aadarwal
12s
12s
feat(ClassicalMechanics): SimplePendulum.periodFormula, the classical amplitude-dependent period PR size label #234: Pull request #1576 synchronize by aadarwal
11s
11s
feat: Effective potential for Weyl fermions (Stacked on #1404) PR size label #233: Pull request #1415 synchronize by jstoobysmith
7s
7s
Update README with library sections and descriptions PR size label #232: Pull request #1596 synchronize by jstoobysmith
8s
8s
docs: Add API map prompt PR size label #231: Pull request #1597 opened by jstoobysmith
10s
10s
Update README with library sections and descriptions PR size label #230: Pull request #1596 opened by jstoobysmith
10s
10s
feat: Effective potential for Weyl fermions (Stacked on #1404) PR size label #229: Pull request #1415 synchronize by nateabr
8s
8s