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
Initial Commit for Orbital Mechanics Label PR based on Comment #407: Issue comment #956 (comment) created by hannxmarie
5s
5s
refactor: Tensor components Style linters #4375: Pull request #1043 opened by jstoobysmith
33m 21s productEquivTensors
productEquivTensors
33m 21s
feat(EM): Rewrite deriv as tensorDeriv (#1040) Style linters #4374: Commit ca9680e pushed by jstoobysmith
44m 16s master
master
44m 16s
chore: Remove unneeded maxHeartbeats (#1041) Style linters #4373: Commit c9c5a34 pushed by jstoobysmith
44m 35s master
master
44m 35s
feat(EM): Rewrite deriv as tensorDeriv Label PR based on Comment #406: Pull request #1040 submitted by zhikaip
8s
8s
chore: Remove unneeded maxHeartbeats Label PR based on Comment #405: Pull request #1041 submitted by zhikaip
6s
6s
chore: Remove unneeded maxHeartbeats Style linters #4372: Pull request #1041 opened by jstoobysmith
45m 24s maxheartbeatsFix
maxheartbeatsFix
45m 24s
feat(EM): Rewrite deriv as tensorDeriv Style linters #4371: Pull request #1040 synchronize by jstoobysmith
42m 21s FieldStrengthTensor
FieldStrengthTensor
42m 21s
feat(EM): Rewrite deriv as tensorDeriv Style linters #4370: Pull request #1040 opened by jstoobysmith
40m 28s FieldStrengthTensor
FieldStrengthTensor
40m 28s
feat: Action on EM potential (#1017) Style linters #4369: Commit e7de7d3 pushed by jstoobysmith
40m 16s master
master
40m 16s
Add the core LocalJet coordinate object Label PR based on Comment #404: Pull request #1039 created by jstoobysmith
6s
6s
Add the core LocalJet coordinate object Label PR based on Comment #403: Pull request #1039 created by jstoobysmith
5s
5s
Add the core LocalJet coordinate object Label PR based on Comment #402: Pull request #1039 submitted by jstoobysmith
4s
4s
feat: Action on EM potential Label PR based on Comment #401: Pull request #1017 submitted by zhikaip
9s
9s
Add the core LocalJet coordinate object Style linters #4368: Pull request #1039 opened by juanjfndz
44m 34s juanjfndz:codex/pr5-localjet-i
juanjfndz:codex/pr5-localjet-i
44m 34s
Add admissible local variations from test functions Label PR based on Comment #400: Issue comment #1033 (comment) created by juan-fernandez-gotherlabs
8s
8s
chore: Modulize QuantumInfo (#1034) Style linters #4367: Commit 71d5b92 pushed by jstoobysmith
41m 53s master
master
41m 53s
refactor(QM): angular momentum notation (#1037) Style linters #4366: Commit 75d62ec pushed by jstoobysmith
42m 23s master
master
42m 23s
chore: Modulize QuantumInfo Label PR based on Comment #399: Pull request #1034 submitted by Timeroot
7s
7s
refactor(QM): angular momentum notation Label PR based on Comment #398: Pull request #1037 submitted by jstoobysmith
8s
8s
feat: Action on EM potential Label PR based on Comment #397: Issue comment #1017 (comment) created by jstoobysmith
5s
5s
feat: Action on EM potential Style linters #4365: Pull request #1017 synchronize by jstoobysmith
43m 1s EMPotentialAction
EMPotentialAction
43m 1s
refactor(QM): angular momentum notation Label PR based on Comment #396: Issue comment #1037 (comment) created by gloges
7s
7s
refactor(QM): angular momentum notation Style linters #4364: Pull request #1037 opened by gloges
41m 15s gloges:L-notation
gloges:L-notation
41m 15s
refactor(QM): remove auxiliary definitions Label PR based on Comment #395: Issue comment #1036 (comment) created by gloges
12s
12s