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: EM Potential from E and B field (#1128) Style linters #4767: Commit cf90247 pushed by jstoobysmith
52m 59s master
master
52m 59s
feat: EM Potential from E and B field Label PR based on Comment #1221: Pull request #1128 created by jstoobysmith
7s
7s
feat: EM Potential from E and B field Label PR based on Comment #1220: Pull request #1128 submitted by jstoobysmith
7s
7s
feat: EM Potential from E and B field Label PR based on Comment #1219: Pull request #1128 submitted by zhikaip
8s
8s
feat: EM Potential from E and B field Label PR based on Comment #1218: Pull request #1128 submitted by zhikaip
12s
12s
feat: EM Potential from E and B field Label PR based on Comment #1217: Pull request #1128 created by zhikaip
8s
8s
feat(QuantumInfo): Cauchy-Schwarz norm bound for Bargmann invariant Style linters #4766: Pull request #1134 opened by wock9000
46m 14s Xylem-Group:bargmann-norm-bound
Xylem-Group:bargmann-norm-bound
46m 14s
feat(QuantumInfo): cyclic symmetry for Bargmann invariant and phase Style linters #4765: Pull request #1133 opened by wock9000
53m 41s Xylem-Group:bargmann-cyclic
Xylem-Group:bargmann-cyclic
53m 41s
feat(FluidDynamics): Adding more fluid dynamics - continuation of PR #949 and #1112 , Label PR based on Comment #1216: Issue comment #1125 (comment) created by jstoobysmith
8s
8s
feat(FluidDynamics): Adding more fluid dynamics - continuation of PR #949 and #1112 , Label PR based on Comment #1215: Issue comment #1125 (comment) created by FloWsnr
8s
8s
feat(FluidDynamics): Adding more fluid dynamics - continuation of PR #949 and #1112 , Label PR based on Comment #1214: Issue comment #1125 (comment) created by jstoobysmith
9s
9s
feat(FluidDynamics): Adding more fluid dynamics - continuation of PR #949 and #1112 , Label PR based on Comment #1213: Issue comment #1125 (comment) created by FloWsnr
7s
7s
feat(FluidDynamics): Adding more fluid dynamics - continuation of PR #949 and #1112 , Label PR based on Comment #1212: Issue comment #1125 (comment) created by jstoobysmith
7s
7s
feat(FluidDynamics): Adding more fluid dynamics - continuation of PR #949 and #1112 , Label PR based on Comment #1211: Issue comment #1125 (comment) created by FloWsnr
8s
8s
feat(FluidDynamics): Adding more fluid dynamics - continuation of PR #949 and #1112 , Label PR based on Comment #1210: Issue comment #1125 (comment) created by jstoobysmith
7s
7s
feat(FluidDynamics): Adding more fluid dynamics - continuation of PR #949 and #1112 , Label PR based on Comment #1209: Issue comment #1125 (comment) created by jstoobysmith
7s
7s
feat(FluidDynamics): Adding more fluid dynamics - continuation of PR #949 and #1112 , Label PR based on Comment #1208: Issue comment #1125 (comment) created by FloWsnr
8s
8s
Add bounded derivative indices Label PR based on Comment #1207: Pull request #1039 submitted by jstoobysmith
7s
7s
refactor: Remove category theory from Tensors Style linters #4764: Pull request #1131 synchronize by jstoobysmith
32m 35s jstoobysmith:deCat
jstoobysmith:deCat
32m 35s
feat(QuantumMechanics): Add operator monoid Label PR based on Comment #1206: Issue comment #1132 (comment) created by gloges
14s
14s
feat(QuantumMechanics): Add operator monoid Style linters #4763: Pull request #1132 opened by gloges
51m 7s gloges:op-module
gloges:op-module
51m 7s
Add bounded derivative indices Label PR based on Comment #1205: Issue comment #1039 (comment) created by juanjfndz
7s
7s
chore: bump to v4.30.0 Label PR based on Comment #1204: Issue comment #1130 (comment) created by jstoobysmith
8s
8s
refactor: Remove category theory from Tensors Style linters #4762: Pull request #1131 opened by jstoobysmith
34m 34s jstoobysmith:deCat
jstoobysmith:deCat
34m 34s
chore: bump to v4.30.0 Label PR based on Comment #1203: Issue comment #1130 (comment) created by jstoobysmith
6s
6s