Skip to content

Actions: leanprover-community/physlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,775 workflow runs
2,775 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adding QuantumInfo Style linters #4226: Pull request #1006 synchronize by Timeroot
46m 59s adding-quantumInfo
adding-quantumInfo
46m 59s
feat: Adds a diffeormorphism for the harmonic oscillator Label PR based on Comment #132: Pull request #1004 submitted by zhikaip
6s
6s
feat: Adds a diffeormorphism for the harmonic oscillator Label PR based on Comment #131: Pull request #1004 submitted by zhikaip
7s
7s
feat: Adds a diffeormorphism for the harmonic oscillator Label PR based on Comment #130: Pull request #1004 created by zhikaip
8s
8s
feat: Adds a diffeormorphism for the harmonic oscillator Label PR based on Comment #129: Pull request #1004 created by zhikaip
7s
7s
feat: Adds a diffeormorphism for the harmonic oscillator Label PR based on Comment #128: Pull request #1004 submitted by zhikaip
7s
7s
feat: Add reference to Harmonic Oscillator Label PR based on Comment #127: Pull request #1005 submitted by zhikaip
6s
6s
Adding QuantumInfo Style linters #4225: Pull request #1006 synchronize by Timeroot
42m 26s adding-quantumInfo
adding-quantumInfo
42m 26s
Adding QuantumInfo Style linters #4224: Pull request #1006 synchronize by Timeroot
33m 25s adding-quantumInfo
adding-quantumInfo
33m 25s
Adding QuantumInfo Style linters #4223: Pull request #1006 synchronize by Timeroot
32m 32s adding-quantumInfo
adding-quantumInfo
32m 32s
feat(temperature): PositiveTemperature refactor Label PR based on Comment #126: Issue comment #976 (comment) created by ichxorya
8s
8s
Adding QuantumInfo Style linters #4222: Pull request #1006 opened by Timeroot
35m 42s adding-quantumInfo
adding-quantumInfo
35m 42s
feat(temperature): PositiveTemperature refactor Style linters #4221: Pull request #976 synchronize by ichxorya
29m 4s SEhumantics:0503-positivetemperature
SEhumantics:0503-positivetemperature
29m 4s
feat: Add reference to Harmonic Oscillator Style linters #4220: Pull request #1005 opened by jstoobysmith
29m 27s HO-reference
HO-reference
29m 27s
feat: Adds a diffeormorphism for the harmonic oscillator Style linters #4219: Pull request #1004 opened by jstoobysmith
26m 49s harmonic-oscillator-diffeo
harmonic-oscillator-diffeo
26m 49s
feat(temperature): PositiveTemperature refactor Style linters #4218: Pull request #976 synchronize by ichxorya
29m 6s SEhumantics:0503-positivetemperature
SEhumantics:0503-positivetemperature
29m 6s
feat(temperature): PositiveTemperature refactor Label PR based on Comment #125: Issue comment #976 (comment) created by jstoobysmith
5s
5s
feat(temperature): PositiveTemperature refactor Label PR based on Comment #124: Issue comment #976 (comment) created by ichxorya
7s
7s
feat: Properties of vadd (#1001) Style linters #4217: Commit f4f09f5 pushed by jstoobysmith
30m 35s master
master
30m 35s
feat(temperature): PositiveTemperature refactor Style linters #4216: Pull request #976 synchronize by ichxorya
27m 0s SEhumantics:0503-positivetemperature
SEhumantics:0503-positivetemperature
27m 0s
feat(temperature): PositiveTemperature refactor Label PR based on Comment #123: Issue comment #976 (comment) created by ichxorya
6s
6s
feat(temperature): PositiveTemperature refactor Style linters #4215: Pull request #976 synchronize by ichxorya
26m 26s SEhumantics:0503-positivetemperature
SEhumantics:0503-positivetemperature
26m 26s
feat(temperature): PositiveTemperature refactor Label PR based on Comment #122: Pull request #976 submitted by ichxorya
6s
6s
feat(temperature): PositiveTemperature refactor Label PR based on Comment #121: Pull request #976 created by ichxorya
5s
5s
feat(temperature): PositiveTemperature refactor Style linters #4214: Pull request #976 synchronize by ichxorya
28m 48s SEhumantics:0503-positivetemperature
SEhumantics:0503-positivetemperature
28m 48s