Skip to content

Actions: leanprover-community/physlib

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Adds a diffeormorphism for the harmonic oscillator Style linters #4229: Pull request #1004 synchronize by jstoobysmith
In progress harmonic-oscillator-diffeo
harmonic-oscillator-diffeo
In progress
feat: Adds a diffeormorphism for the harmonic oscillator Label PR based on Comment #137: Pull request #1004 created by jstoobysmith
6s
6s
feat: Adds a diffeormorphism for the harmonic oscillator Label PR based on Comment #136: Pull request #1004 submitted by jstoobysmith
6s
6s
feat: Adds a diffeormorphism for the harmonic oscillator Style linters #4228: Pull request #1004 synchronize by jstoobysmith
30m 59s harmonic-oscillator-diffeo
harmonic-oscillator-diffeo
30m 59s
feat: Add reference to HO (#1005) Style linters #4227: Commit df5ca60 pushed by jstoobysmith
28m 44s master
master
28m 44s
Adding QuantumInfo Label PR based on Comment #135: Pull request #1006 created by jstoobysmith
5s
5s
Adding QuantumInfo Label PR based on Comment #134: Pull request #1006 created by jstoobysmith
6s
6s
Adding QuantumInfo Label PR based on Comment #133: Pull request #1006 submitted by jstoobysmith
8s
8s
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