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: generalized Kronecker delta definition Label PR based on Comment #1548: Pull request #1192 submitted by wdconinc
Action required
Action required
feat: generalized Kronecker delta definition Label PR based on Comment #1547: Pull request #1192 created by wdconinc
Action required
Action required
feat: generalized Kronecker delta definition Label PR based on Comment #1546: Pull request #1192 created by wdconinc
Action required
Action required
feat: generalized Kronecker delta definition Label PR based on Comment #1545: Pull request #1192 submitted by wdconinc
Action required
Action required
feat: generalized Kronecker delta definition Style linters #5002: Pull request #1192 synchronize by wdconinc
Action required wdconinc:patch-1
wdconinc:patch-1
Action required
feat: generalized Kronecker delta definition Style linters #124: Pull request #1192 synchronize by wdconinc
Action required wdconinc:patch-1
wdconinc:patch-1
Action required
feat: generalized Kronecker delta definition Label PR based on Comment #1544: Pull request #1192 submitted by wdconinc
Action required
Action required
feat: generalized Kronecker delta definition Label PR based on Comment #1543: Pull request #1192 created by wdconinc
Action required
Action required
feat: generalized Kronecker delta definition Label PR based on Comment #1542: Pull request #1192 created by Copilot AI
Action required
Action required
feat: generalized Kronecker delta definition Label PR based on Comment #1541: Pull request #1192 created by Copilot AI
Action required
Action required
feat: generalized Kronecker delta definition Label PR based on Comment #1540: Pull request #1192 submitted by Copilot AI
Action required
Action required
feat: generalized Kronecker delta definition Label PR based on Comment #1539: Pull request #1192 created by Copilot AI
Action required
Action required
feat: generalized Kronecker delta definition Style linters #5001: Pull request #1192 opened by wdconinc
Action required wdconinc:patch-1
wdconinc:patch-1
Action required
feat: generalized Kronecker delta definition Style linters #123: Pull request #1192 opened by wdconinc
Action required wdconinc:patch-1
wdconinc:patch-1
Action required
feat: generalized Kronecker delta definition PR Comment #40: Pull request #1192 opened by wdconinc
34s
34s
feat: Stinespring dilation Style linters #5000: Pull request #1191 synchronize by bjoernkjoshanssen
37m 55s bjoernkjoshanssen:master
bjoernkjoshanssen:master
37m 55s
feat: Stinespring dilation Style linters #122: Pull request #1191 synchronize by bjoernkjoshanssen
4m 17s bjoernkjoshanssen:master
bjoernkjoshanssen:master
4m 17s
feat: Stinespring dilation Style linters #4999: Pull request #1191 opened by bjoernkjoshanssen
37m 25s bjoernkjoshanssen:master
bjoernkjoshanssen:master
37m 25s
feat: Stinespring dilation Style linters #121: Pull request #1191 opened by bjoernkjoshanssen
3m 57s bjoernkjoshanssen:master
bjoernkjoshanssen:master
3m 57s
feat: Stinespring dilation PR Comment #39: Pull request #1191 opened by bjoernkjoshanssen
35s
35s
Ai policy and agent instructions Style linters #120: Pull request #1187 synchronize by jfindlay
4m 6s jfindlay:AI-Policy
jfindlay:AI-Policy
4m 6s
Ai policy and agent instructions Style linters #4998: Pull request #1187 synchronize by jfindlay
41m 17s jfindlay:AI-Policy
jfindlay:AI-Policy
41m 17s
Ai policy and agent instructions Label PR based on Comment #1538: Pull request #1187 created by doxtor6
11s
11s
Ai policy and agent instructions Label PR based on Comment #1537: Pull request #1187 submitted by doxtor6
7s
7s
feat(PhyslibAlpha): add line surface Style linters #4997: Pull request #1190 opened by Robby955
37m 46s Robby955:line-surface
Robby955:line-surface
37m 46s