Skip to content

Actions: leanprover-community/physlib

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: move to module system Style linters #4118: Pull request #977 synchronize by jstoobysmith
In progress module_system
module_system
In progress
chore: move to module system Style linters #4117: Pull request #977 synchronize by jstoobysmith
In progress module_system
module_system
In progress
chore: move to module system Style linters #4116: Pull request #977 synchronize by jstoobysmith
30m 10s module_system
module_system
30m 10s
Addressing comment on PR #981 Copilot coding agent #4: by Copilot AI
37s copilot/sub-pr-977-again
copilot/sub-pr-977-again
37s
Addressing comment on PR #980 Copilot coding agent #3: by Copilot AI
1m 36s copilot/sub-pr-977
copilot/sub-pr-977
1m 36s
feat(temperature): PositiveTemperature refactor Style linters #4115: Pull request #976 synchronize by ichxorya
28m 48s SEhumantics:0503-positivetemperature
SEhumantics:0503-positivetemperature
28m 48s
docs: Start review guidelines (#971) Style linters #4114: Commit 5fd9a47 pushed by jstoobysmith
30m 35s master
master
30m 35s
feat(temperature): PositiveTemperature refactor Style linters #4113: Pull request #976 synchronize by ichxorya
16s SEhumantics:0503-positivetemperature
SEhumantics:0503-positivetemperature
16s
docs: Start review guidelines Style linters #4112: Pull request #971 synchronize by morrison-daniel
32m 27s SpaceEdits
SpaceEdits
32m 27s
chore: move to module system Style linters #4111: Pull request #977 synchronize by zhikaip
30m 9s module_system
module_system
30m 9s
chore: move to module system Style linters #4110: Pull request #977 synchronize by zhikaip
30m 38s module_system
module_system
30m 38s
chore: move to module system Style linters #4109: Pull request #977 synchronize by zhikaip
30m 56s module_system
module_system
30m 56s
feat: Kronecker delta api Style linters #4108: Pull request #979 synchronize by gloges
32m 36s gloges:kronecker-delta
gloges:kronecker-delta
32m 36s
feat: Kronecker delta api Style linters #4107: Pull request #979 opened by gloges
32m 12s gloges:kronecker-delta
gloges:kronecker-delta
32m 12s
chore: move to module system Style linters #4106: Pull request #977 synchronize by zhikaip
22m 56s module_system
module_system
22m 56s
chore: move to module system Style linters #4105: Pull request #977 synchronize by zhikaip
26m 3s module_system
module_system
26m 3s
Update Lean Project Update Lean Project #48: Scheduled
1m 57s master
master
1m 57s
feat: Unbounded operators from H1 to H2 (#978) Style linters #4104: Commit 5e102b5 pushed by morrison-daniel
30m 46s master
master
30m 46s
chore: move to module system Style linters #4103: Pull request #977 synchronize by zhikaip
17m 18s module_system
module_system
17m 18s
chore: move to module system Style linters #4102: Pull request #977 synchronize by zhikaip
16m 24s module_system
module_system
16m 24s
chore: move to module system Style linters #4101: Pull request #977 synchronize by zhikaip
16m 29s module_system
module_system
16m 29s
feat: AddTorsor instance on space (#972) Style linters #4100: Commit 740742f pushed by jstoobysmith
28m 46s master
master
28m 46s
feat: Unbounded operators from H1 to H2 Style linters #4099: Pull request #978 opened by gloges
30m 49s gloges:unbounded-ops
gloges:unbounded-ops
30m 49s
chore: move to module system Style linters #4098: Pull request #977 opened by zhikaip
10m 45s module_system
module_system
10m 45s
docs: Start review guidelines Style linters #4097: Pull request #971 synchronize by jstoobysmith
31m 18s SpaceEdits
SpaceEdits
31m 18s