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(Mathematics): add Physlib/Mathematics/GoldenRatio.lean Label PR based on Comment #1102: Issue comment #1122 (comment) created by jstoobysmith
4s
4s
feat(QuantumMechanics): Uncertainty bounds for partial linear maps Label PR based on Comment #1101: Pull request #1095 submitted by jstoobysmith
5s
5s
feat(QM): Add LinearPMap.sum Label PR based on Comment #1100: Pull request #1120 submitted by jstoobysmith
5s
5s
feat(FluidDynamics): add Navier-Stokes conservative and convective forms Label PR based on Comment #1099: Issue comment #1112 (comment) created by jstoobysmith
6s
6s
refactor: Move distributional EM to new file system (#1118) Style linters #4720: Commit f2cc276 pushed by jstoobysmith
51m 40s master
master
51m 40s
feat: QuantumInfo sorryful results (#1092) Style linters #4719: Commit 9674ea4 pushed by jstoobysmith
46m 53s master
master
46m 53s
feat(QuantumInfo): Bargmann invariant and geometric phase Label PR based on Comment #1098: Pull request #1121 submitted by jstoobysmith
8s
8s
feat(QuantumInfo): Bargmann invariant and geometric phase Label PR based on Comment #1097: Pull request #1121 created by jstoobysmith
Action required
Action required
Update Lean Project Update Lean Project #59: Scheduled
1m 53s master
master
1m 53s
feat(FluidDynamics): add Navier-Stokes conservative and convective forms Style linters #4718: Pull request #1112 synchronize by FloWsnr
51m 41s FloWsnr:feat/fluid_dynamics
FloWsnr:feat/fluid_dynamics
51m 41s
feat(FluidDynamics): add Navier-Stokes conservative and convective forms Label PR based on Comment #1096: Issue comment #1112 (comment) created by FloWsnr
8s
8s
feat(FluidDynamics): add Navier-Stokes conservative and convective forms Label PR based on Comment #1095: Pull request #1112 created by FloWsnr
5s
5s
feat(FluidDynamics): add Navier-Stokes conservative and convective forms Label PR based on Comment #1094: Pull request #1112 submitted by FloWsnr
5s
5s
feat(FluidDynamics): add Navier-Stokes conservative and convective forms Label PR based on Comment #1093: Pull request #1112 created by FloWsnr
5s
5s
feat(FluidDynamics): add Navier-Stokes conservative and convective forms Label PR based on Comment #1092: Pull request #1112 submitted by FloWsnr
7s
7s
feat(FluidDynamics): add Navier-Stokes conservative and convective forms Label PR based on Comment #1091: Pull request #1112 created by FloWsnr
4s
4s
feat(FluidDynamics): add Navier-Stokes conservative and convective forms Label PR based on Comment #1090: Pull request #1112 submitted by FloWsnr
7s
7s
feat(FluidDynamics): add Navier-Stokes conservative and convective forms Label PR based on Comment #1089: Pull request #1112 created by FloWsnr
7s
7s
feat(FluidDynamics): add Navier-Stokes conservative and convective forms Label PR based on Comment #1088: Pull request #1112 submitted by FloWsnr
8s
8s
feat(FluidDynamics): add Navier-Stokes conservative and convective forms Style linters #4717: Pull request #1112 synchronize by FloWsnr
20s FloWsnr:feat/fluid_dynamics
FloWsnr:feat/fluid_dynamics
20s
feat(FluidDynamics): add Navier-Stokes conservative and convective forms Label PR based on Comment #1087: Pull request #1112 created by FloWsnr
6s
6s
feat(FluidDynamics): add Navier-Stokes conservative and convective forms Label PR based on Comment #1086: Pull request #1112 submitted by FloWsnr
8s
8s
feat(FluidDynamics): add Navier-Stokes conservative and convective forms Label PR based on Comment #1085: Pull request #1112 created by FloWsnr
7s
7s
feat(FluidDynamics): add Navier-Stokes conservative and convective forms Label PR based on Comment #1084: Pull request #1112 submitted by FloWsnr
5s
5s
feat: QuantumInfo sorryful results Label PR based on Comment #1083: Pull request #1092 submitted by morrison-daniel
7s
7s