Skip to content

Actions: leanprover-community/physlib

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(temperature): PositiveTemperature refactor Label PR based on Comment #118: Issue comment #976 (comment) created by ichxorya
11s
11s
feat(temperature): PositiveTemperature refactor Label PR based on Comment #117: Pull request #976 created by jstoobysmith
7s
7s
feat(temperature): PositiveTemperature refactor Label PR based on Comment #116: Pull request #976 created by jstoobysmith
6s
6s
feat(temperature): PositiveTemperature refactor Label PR based on Comment #115: Pull request #976 created by jstoobysmith
6s
6s
feat(temperature): PositiveTemperature refactor Label PR based on Comment #114: Pull request #976 submitted by jstoobysmith
6s
6s
feat(temperature): PositiveTemperature refactor Label PR based on Comment #113: Pull request #976 created by jstoobysmith
7s
7s
refactor(QM) : commutators (#994) Style linters #4208: Commit 4639f33 pushed by jstoobysmith
32m 8s master
master
32m 8s
refactor(QM) : commutators Label PR based on Comment #112: Pull request #994 submitted by jstoobysmith
6s
6s
refactor(QM) : commutators Label PR based on Comment #111: Issue comment #994 (comment) created by gloges
5s
5s
refactor(QM) : commutators Label PR based on Comment #110: Issue comment #994 (comment) created by gloges
5s
5s
refactor(QM) : commutators Style linters #4207: Pull request #994 synchronize by gloges
30m 43s gloges:commutator-improve
gloges:commutator-improve
30m 43s
refactor(QM) : commutators Style linters #4206: Pull request #994 synchronize by gloges
30m 35s gloges:commutator-improve
gloges:commutator-improve
30m 35s
refactor(QM) : commutators Style linters #4205: Pull request #994 synchronize by gloges
27m 3s gloges:commutator-improve
gloges:commutator-improve
27m 3s
Update Lean Project Update Lean Project #50: Scheduled
2m 6s master
master
2m 6s
feat(QM): AddZeroClass for UnboundedOperator (#999) Style linters #4204: Commit e5eaf63 pushed by jstoobysmith
27m 2s master
master
27m 2s
feat(QM): AddZeroClass for UnboundedOperator Label PR based on Comment #109: Issue comment #999 (comment) created by jstoobysmith
5s
5s
feat(QM): AddZeroClass for UnboundedOperator Label PR based on Comment #108: Pull request #999 submitted by jstoobysmith
6s
6s
feat(QM): AddZeroClass for UnboundedOperator Label PR based on Comment #107: Issue comment #999 (comment) created by gloges
8s
8s
feat(QM): AddZeroClass for UnboundedOperator Label PR based on Comment #106: Issue comment #999 (comment) created by gloges
5s
5s
feat(QM): AddZeroClass for UnboundedOperator Label PR based on Comment #105: Pull request #999 submitted by gloges
7s
7s
feat(QM): AddZeroClass for UnboundedOperator Label PR based on Comment #104: Pull request #999 created by gloges
7s
7s
feat(QM): AddZeroClass for UnboundedOperator Style linters #4203: Pull request #999 synchronize by gloges
30m 15s gloges:operators
gloges:operators
30m 15s
feat(temperature): PositiveTemperature refactor Style linters #4202: Pull request #976 synchronize by ichxorya
29m 7s SEhumantics:0503-positivetemperature
SEhumantics:0503-positivetemperature
29m 7s
feat(Momentum): prove momentumOperatorSchwartz_isSymmetric (#990) Style linters #4201: Commit d607e4f pushed by jstoobysmith
30m 11s master
master
30m 11s
feat(temperature): PositiveTemperature refactor Style linters #4200: Pull request #976 synchronize by ichxorya
28m 49s SEhumantics:0503-positivetemperature
SEhumantics:0503-positivetemperature
28m 49s