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
fix: Initial Commit for Orbital Mechanics, Vis Viva Version 2 Label PR based on Comment #755: Issue comment #1057 (comment) created by jstoobysmith
16s
16s
refactor(QM): unbounded operators Style linters #4587: Pull request #1090 synchronize by gloges
In progress gloges:unbounded
gloges:unbounded
In progress
fix: Initial Commit for Orbital Mechanics, Vis Viva Version 2 Label PR based on Comment #754: Issue comment #1057 (comment) created by hannxmarie
13s
13s
fix: Initial Commit for Orbital Mechanics, Vis Viva Version 2 Label PR based on Comment #753: Issue comment #1057 (comment) created by jstoobysmith
8s
8s
fix: Initial Commit for Orbital Mechanics, Vis Viva Version 2 Label PR based on Comment #752: Pull request #1057 submitted by jstoobysmith
16s
16s
fix: Initial Commit for Orbital Mechanics, Vis Viva Version 2 Style linters #4586: Pull request #1057 synchronize by hannxmarie
In progress hannxmarie:hannah/vis-viva-v2
hannxmarie:hannah/vis-viva-v2
In progress
refactor(QM): unbounded operators Label PR based on Comment #751: Issue comment #1090 (comment) created by gloges
6s
6s
refactor(QM): unbounded operators Style linters #4585: Pull request #1090 synchronize by gloges
50m 51s gloges:unbounded
gloges:unbounded
50m 51s
Add basic formalisation of the free particle in classical mechanics Label PR based on Comment #750: Issue comment #1081 (comment) created by jstoobysmith
14s
14s
Add basic formalisation of the free particle in classical mechanics Style linters #4584: Pull request #1081 synchronize by jstoobysmith
In progress Pranav-Magdum:master
Pranav-Magdum:master
In progress
refactor(QM): unbounded operators Style linters #4583: Pull request #1090 synchronize by gloges
47m 17s gloges:unbounded
gloges:unbounded
47m 17s
refactor(QM): unbounded operators Style linters #4582: Pull request #1090 synchronize by gloges
45m 21s gloges:unbounded
gloges:unbounded
45m 21s
refactor(QM): unbounded operators Style linters #4581: Pull request #1090 synchronize by gloges
49m 38s gloges:unbounded
gloges:unbounded
49m 38s
Add basic formalisation of the free particle in classical mechanics Style linters #4580: Pull request #1081 synchronize by jstoobysmith
45m 22s Pranav-Magdum:master
Pranav-Magdum:master
45m 22s
feat(QuantumMechanics): LineaPMap state observables Label PR based on Comment #749: Issue comment #1094 (comment) created by jstoobysmith
12s
12s
feat(Tensors): PermCond.snoc PermCond.succAbove Style linters #4579: Pull request #1097 opened by jstoobysmith
45m 12s jstoobysmith:PermCond
jstoobysmith:PermCond
45m 12s
feat(QuantumMechanics): LineaPMap state observables Label PR based on Comment #748: Issue comment #1094 (comment) created by jstoobysmith
5s
5s
feat(QuantumMechanics): add Canonical commutation on the Schwartz submodule Style linters #4578: Pull request #1096 synchronize by or4nge19
48m 45s or4nge19:Uncertainty-SchwartzCCR
or4nge19:Uncertainty-SchwartzCCR
48m 45s
feat(QuantumMechanics): Uncertainty bounds for partial linear maps Style linters #4577: Pull request #1095 synchronize by or4nge19
47m 7s or4nge19:SchwartzCCR
or4nge19:SchwartzCCR
47m 7s
feat(QuantumMechanics): LineaPMap state observables Style linters #4576: Pull request #1094 synchronize by or4nge19
46m 56s or4nge19:LinearPMap-Observables
or4nge19:LinearPMap-Observables
46m 56s
feat(QuantumMechanics): add Canonical commutation on the Schwartz submodule Style linters #4575: Pull request #1096 synchronize by or4nge19
46m 14s or4nge19:Uncertainty-SchwartzCCR
or4nge19:Uncertainty-SchwartzCCR
46m 14s
feat(QuantumMechanics): Uncertainty bounds for partial linear maps Style linters #4574: Pull request #1095 synchronize by or4nge19
50m 0s or4nge19:SchwartzCCR
or4nge19:SchwartzCCR
50m 0s
feat(QuantumMechanics): Uncertainty bounds for partial linear maps Style linters #4573: Pull request #1095 synchronize by or4nge19
2m 27s or4nge19:SchwartzCCR
or4nge19:SchwartzCCR
2m 27s
feat(QuantumMechanics): Uncertainty bounds for partial linear maps Label PR based on Comment #747: Issue comment #1095 (comment) created by jstoobysmith
8s
8s
feat(QuantumMechanics): add Canonical commutation on the Schwartz submodule Style linters #4572: Pull request #1096 opened by or4nge19
50m 29s or4nge19:Uncertainty-SchwartzCCR
or4nge19:Uncertainty-SchwartzCCR
50m 29s