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: Start split of Distributional EM Label PR based on Comment #596: Issue comment #1063 (comment) created by jstoobysmith
11s
11s
feat: Start split of Distributional EM Style linters #4451: Pull request #1063 synchronize by jstoobysmith
In progress StartDistributionDocs
StartDistributionDocs
In progress
feat: discharge sorries in Channel, Fidelity, Unitary, and Matrix Label PR based on Comment #595: Issue comment #1064 (comment) created by jstoobysmith
6s
6s
feat: discharge sorries in Channel, Fidelity, Unitary, and Matrix Style linters #4450: Pull request #1064 opened by dennj
26m 53s dennj:porting
dennj:porting
26m 53s
feat: Start split of Distributional EM Label PR based on Comment #594: Pull request #1063 created by zhikaip
6s
6s
feat: Start split of Distributional EM Label PR based on Comment #593: Pull request #1063 created by zhikaip
5s
5s
feat: Start split of Distributional EM Label PR based on Comment #592: Pull request #1063 created by zhikaip
6s
6s
feat: Start split of Distributional EM Label PR based on Comment #591: Pull request #1063 submitted by zhikaip
14s
14s
feat: Start split of Distributional EM Label PR based on Comment #590: Pull request #1063 created by zhikaip
5s
5s
refactor: Separate Vector.Basic & CoVector.Basic Style linters #4449: Pull request #1050 synchronize by jstoobysmith
30m 55s VectorTensorial
VectorTensorial
30m 55s
feat: Start split of Distributional EM Style linters #4448: Pull request #1063 synchronize by jstoobysmith
45m 35s StartDistributionDocs
StartDistributionDocs
45m 35s
feat: Start split of Distributional EM Style linters #4447: Pull request #1063 synchronize by jstoobysmith
45m 48s StartDistributionDocs
StartDistributionDocs
45m 48s
feat: Start split of Distributional EM Style linters #4446: Pull request #1063 opened by jstoobysmith
46m 27s StartDistributionDocs
StartDistributionDocs
46m 27s
refactor: TODO item hashes Style linters #4445: Pull request #1062 synchronize by jstoobysmith
46m 3s TODOHash
TODOHash
46m 3s
refactor: TODO item hashes Style linters #4444: Pull request #1062 opened by jstoobysmith
43m 3s TODOHash
TODOHash
43m 3s
feat: EM derivative components (#1060) Style linters #4443: Commit 380f9b3 pushed by jstoobysmith
44m 12s master
master
44m 12s
feat: EM derivative components Label PR based on Comment #589: Pull request #1060 submitted by zhikaip
6s
6s
Running Copilot cloud agent Copilot cloud agent #10: by Copilot AI
20m 28s copilot/expand-todo-items-physlib
copilot/expand-todo-items-physlib
20m 28s
feat: EM derivative components Style linters #4441: Pull request #1060 synchronize by jstoobysmith
46m 46s EMComponents
EMComponents
46m 46s
feat: EM derivative components Style linters #4440: Pull request #1060 opened by jstoobysmith
34m 23s EMComponents
EMComponents
34m 23s
Add the core LocalJet coordinate object Label PR based on Comment #588: Issue comment #1039 (comment) created by juan-fernandez-gotherlabs
8s
8s
refactor: fix import error with Mathlib (#1059) Style linters #4439: Commit b70b5cd pushed by jstoobysmith
40m 32s master
master
40m 32s
refactor: fix import error with Mathlib Label PR based on Comment #587: Pull request #1059 submitted by zhikaip
5s
5s
refactor: fix import error with Mathlib Label PR based on Comment #586: Issue comment #1059 (comment) created by jstoobysmith
9s
9s
refactor: fix import error with Mathlib Style linters #4438: Pull request #1059 synchronize by jstoobysmith
39m 3s fixDistributions
fixDistributions
39m 3s