Skip to content

Actions: nateabr/physlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 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
Update Lean Project Update Lean Project #4: Scheduled
1m 32s master
master
1m 32s
feat(ClassicalMechanics): König's theorem in the body frame (#1418) Style linters #13: Commit 26f8f8b pushed by nateabr
40m 51s master
master
40m 51s
feat(ClassicalMechanics): König's theorem in the body frame (#1418) Style linters #12: Commit 26f8f8b pushed by nateabr
7m 56s master
master
7m 56s
feat: add unitary conjugation of partially-defined operators (#1421) Autolabel PRs #1: Commit e6ca5da pushed by nateabr
1s master
master
1s
feat: add unitary conjugation of partially-defined operators (#1421) Style linters #11: Commit e6ca5da pushed by nateabr
7m 48s master
master
7m 48s
feat: add unitary conjugation of partially-defined operators (#1421) Style linters #11: Commit e6ca5da pushed by nateabr
39m 32s master
master
39m 32s
Update Lean Project Update Lean Project #3: Scheduled
1m 40s master
master
1m 40s
Update Lean Project Update Lean Project #2: Scheduled
1m 25s master
master
1m 25s
feat(ClassicalMechanics): add the angular velocity vector of a rigid … Style linters #10: Commit e027d24 pushed by nateabr
4m 53s master
master
4m 53s
feat(ClassicalMechanics): add the angular velocity vector of a rigid … Style linters #10: Commit e027d24 pushed by nateabr
39m 43s master
master
39m 43s
Add finite-measure distribution extensionality (#1351) Style linters #9: Commit eb547a5 pushed by nateabr
4m 38s master
master
4m 38s
Add finite-measure distribution extensionality (#1351) Style linters #9: Commit eb547a5 pushed by nateabr
37m 20s master
master
37m 20s
docs(classical-mechanics): add TODO to split harmonic oscillator solu… Style linters #8: Commit 05930fe pushed by nateabr
38m 13s master
master
38m 13s
docs(classical-mechanics): add TODO to split harmonic oscillator solu… Style linters #8: Commit 05930fe pushed by nateabr
5m 0s master
master
5m 0s
feat: Lifting Lorentz Action on ElectromagneticPotential to DistribMu… Style linters #7: Commit 33fbb9d pushed by nateabr
5m 8s master
master
5m 8s
feat: Lifting Lorentz Action on ElectromagneticPotential to DistribMu… Style linters #7: Commit 33fbb9d pushed by nateabr
39m 36s master
master
39m 36s
Update Lean Project Update Lean Project #1: Scheduled
1m 22s master
master
1m 22s
auto-task(traceNorm_eq_one): rename traceNorm_eq_1 to spell out the n… Style linters #6: Commit e4693a5 pushed by nateabr
4m 55s master
master
4m 55s
auto-task(traceNorm_eq_one): rename traceNorm_eq_1 to spell out the n… Style linters #6: Commit e4693a5 pushed by nateabr
39m 37s master
master
39m 37s
auto-task(inner_zero_iff_aux_lemma): golf the PSD trace-zero kernel l… Style linters #5: Commit 1dd0743 pushed by nateabr
36m 15s master
master
36m 15s
auto-task(inner_zero_iff_aux_lemma): golf the PSD trace-zero kernel l… Style linters #5: Commit 1dd0743 pushed by nateabr
5m 8s master
master
5m 8s
suggested change of def IsTotalTimeDerivative + proof of equivalence … Style linters #4: Commit e59e1ae pushed by nateabr
40m 38s master
master
40m 38s
suggested change of def IsTotalTimeDerivative + proof of equivalence … Style linters #4: Commit e59e1ae pushed by nateabr
4m 40s master
master
4m 40s
refactor(CKMMatrix): golf standParamAsMatrix_unitary proof (#1251) Style linters #3: Commit d0ee4af pushed by nateabr
43m 48s master
master
43m 48s
refactor(CKMMatrix): golf standParamAsMatrix_unitary proof (#1251) Style linters #3: Commit d0ee4af pushed by nateabr
4m 53s master
master
4m 53s