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: Add contraction result for real Lorentz tensors Style linters #4524: Pull request #1086 synchronize by jstoobysmith
45m 10s jstoobysmith:contrT_toField
jstoobysmith:contrT_toField
45m 10s
feat(StatMech): prove partition-function analyticity; drop Z-smoothness sorry Label PR based on Comment #679: Issue comment #1077 (comment) created by jstoobysmith
17s
17s
feat: Add contraction result for real Lorentz tensors Style linters #4523: Pull request #1086 synchronize by jstoobysmith
48m 7s jstoobysmith:contrT_toField
jstoobysmith:contrT_toField
48m 7s
refactor: Move statmech Style linters #4522: Pull request #1087 synchronize by jstoobysmith
51m 7s jstoobysmith:StatMech
jstoobysmith:StatMech
51m 7s
refactor: Move statmech Style linters #4521: Pull request #1087 opened by jstoobysmith
50m 27s jstoobysmith:StatMech
jstoobysmith:StatMech
50m 27s
feat: Add contraction result for real Lorentz tensors Style linters #4520: Pull request #1086 opened by jstoobysmith
49m 13s jstoobysmith:contrT_toField
jstoobysmith:contrT_toField
49m 13s
feat(QuantumInfo): discharge sorries in ClassicalInfo.Capacity and Regularized Label PR based on Comment #678: Issue comment #1066 (comment) created by jstoobysmith
13s
13s
feat(QuantumInfo): Finish Data Processing Inequality (#1082) Style linters #4519: Commit 04ab5a9 pushed by Timeroot
45m 19s master
master
45m 19s
docs: Add documentation for Tensors Style linters #4518: Pull request #1085 opened by jstoobysmith
42m 35s jstoobysmith:TensorsDocs
jstoobysmith:TensorsDocs
42m 35s
feat(QuantumMechanics): Add TODO item for QM Style linters #4517: Pull request #1084 synchronize by jstoobysmith
41m 4s jstoobysmith:TODOs
jstoobysmith:TODOs
41m 4s
feat(QuantumMechanics): Add TODO item for QM Style linters #4516: Pull request #1084 opened by jstoobysmith
2m 13s jstoobysmith:TODOs
jstoobysmith:TODOs
2m 13s
refactor(Particles): remove erw (#1083) Style linters #4515: Commit a58ceb6 pushed by jstoobysmith
39m 59s master
master
39m 59s
refactor(Particles): remove erw Label PR based on Comment #677: Pull request #1083 submitted by jstoobysmith
13s
13s
Add basic formalisation of the free particle in classical mechanics Style linters #4514: Pull request #1081 synchronize by Pranav-Magdum
42m 43s Pranav-Magdum:master
Pranav-Magdum:master
42m 43s
feat(QuantumInfo): Finish Data Processing Inequality Label PR based on Comment #676: Pull request #1082 submitted by jstoobysmith
6s
6s
refactor(Particles): remove erw Label PR based on Comment #675: Issue comment #1083 (comment) created by gloges
6s
6s
refactor(Particles): remove erw Style linters #4513: Pull request #1083 opened by gloges
45m 42s gloges:erw-SM
gloges:erw-SM
45m 42s
feat(QuantumInfo): Finish Data Processing Inequality Style linters #4512: Pull request #1082 synchronize by Timeroot
51m 27s finish_dpi
finish_dpi
51m 27s
feat(QuantumInfo): Finish Data Processing Inequality Style linters #4511: Pull request #1082 synchronize by Timeroot
53m 21s finish_dpi
finish_dpi
53m 21s
feat(QuantumInfo): Finish Data Processing Inequality Style linters #4510: Pull request #1082 synchronize by Timeroot
45m 33s finish_dpi
finish_dpi
45m 33s
feat(QuantumInfo): Finish Data Processing Inequality Style linters #4509: Pull request #1082 opened by Timeroot
43m 38s finish_dpi
finish_dpi
43m 38s
Add basic formalisation of the free particle in classical mechanics Label PR based on Comment #674: Pull request #1081 created by jstoobysmith
Action required
Action required
Add basic formalisation of the free particle in classical mechanics Label PR based on Comment #673: Pull request #1081 created by jstoobysmith
Action required
Action required
Add basic formalisation of the free particle in classical mechanics Label PR based on Comment #672: Pull request #1081 created by jstoobysmith
Action required
Action required
Add basic formalisation of the free particle in classical mechanics Label PR based on Comment #671: Pull request #1081 created by jstoobysmith
Action required
Action required