Skip to content

Actions: leanprover-community/physlib

Actions

Check golf

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-golf.yml
208 workflow runs
208 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
EVMPR theorem twoState_helmholtzFreeEnergy_eq Check golf #208: Issue comment #1474 (comment) created by korolrom
1s
1s
feat: API map index generator and guide Check golf #207: Issue comment #1473 (comment) created by Robby955
Skipped
Skipped
feat: API map index generator and guide Check golf #206: Issue comment #1473 (comment) created by Robby955
1s
1s
EVMPR theorem twoState_helmholtzFreeEnergy_eq Check golf #205: Issue comment #1474 (comment) created by jstoobysmith
1s
1s
EVMPR theorem twoState_helmholtzFreeEnergy_eq Check golf #204: Issue comment #1474 (comment) created by korolrom
9s
9s
EVMPR theorem twoState_helmholtzFreeEnergy_eq Check golf #203: Issue comment #1474 (comment) created by jstoobysmith
Skipped
Skipped
feat(Tensors/Contraction): slot-addressed cross contraction and the general-rank raise/lower round trip Check golf #202: Issue comment #1375 (comment) created by jstoobysmith
1s
1s
feat(Tensors/Contraction): slot-addressed cross contraction and the general-rank raise/lower round trip Check golf #201: Issue comment #1375 (comment) created by nateabr
1s
1s
feat(Tensors/Contraction): slot-addressed cross contraction and the general-rank raise/lower round trip Check golf #200: Issue comment #1375 (comment) created by jstoobysmith
Skipped
Skipped
feat(mathematics): add the degree-wise linear universal property of the symmetric algebra Check golf #199: Issue comment #1468 (comment) created by nateabr
11s
11s
feat(Tensors/Contraction): slot-addressed cross contraction and the general-rank raise/lower round trip Check golf #198: Issue comment #1375 (comment) created by pariandrea
1s
1s
feat(Mathematics): SchwartzMap Gaussians Check golf #197: Issue comment #1465 (comment) created by Cobord
1s
1s
feat(Mathematics): SchwartzMap Gaussians Check golf #196: Issue comment #1465 (comment) created by gloges
Skipped
Skipped
feat(Tensors/Contraction): slot-addressed cross contraction and the general-rank raise/lower round trip Check golf #195: Issue comment #1375 (comment) created by pariandrea
1s
1s
docs(fluid-dynamics): add fluid API map Check golf #194: Issue comment #1450 (comment) created by Robby955
11s
11s
docs(space-and-time): add Galilean group and TimeAndSpace API maps Check golf #193: Issue comment #1466 (comment) created by Robby955
1s
1s
feat: Added PR template Check golf #192: Issue comment #1458 (comment) created by jstoobysmith
1s
1s
feat: Add DropPair ProdP commutation lemma for one orientation Check golf #191: Issue comment #1345 (comment) created by jstoobysmith
1s
1s
docs(fluid-dynamics): add fluid API map Check golf #190: Issue comment #1450 (comment) created by jstoobysmith
2s
2s
feat: Add lepton singlets Check golf #189: Issue comment #1464 (comment) created by nateabr
1s
1s
feat: Add lepton singlets Check golf #188: Issue comment #1464 (comment) created by jstoobysmith
1s
1s
feat: Add lepton doublets (Stacked on #1416) Check golf #187: Issue comment #1430 (comment) created by nateabr
1s
1s
feat: Add lepton doublets (Stacked on #1416) Check golf #186: Issue comment #1430 (comment) created by jstoobysmith
1s
1s
feat(FluidDynamics): Adding more fluid dynamics - continuation of PR #949 and #1112 , Check golf #185: Issue comment #1125 (comment) created by FloWsnr
1s
1s
feat(QuantumMechanics): derivative operators via Fourier-conjugated m… Check golf #184: Issue comment #1454 (comment) created by adambornemann-glitch
1s
1s