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: Fix PhyslibAlpha linter (#1193) Style linters #5020: Commit b77fd77 pushed by jstoobysmith
In progress master
master
In progress
feat: Fix PhyslibAlpha linter (#1193) Style linters #142: Commit b77fd77 pushed by jstoobysmith
4m 16s master
master
4m 16s
The Euclidean Action and the Action of the Group of Rotations Label PR based on Comment #1578: Pull request #1196 submitted by jstoobysmith
8s
8s
feat: Fix PhyslibAlpha linter Label PR based on Comment #1577: Pull request #1193 submitted by zhikaip
11s
11s
feat(Mathematics/Calculus): coordinate Wirtinger calculus on ℂⁿ Label PR based on Comment #1576: Pull request #1174 submitted by jstoobysmith
12s
12s
The Euclidean Action and the Action of the Group of Rotations Style linters #5019: Pull request #1196 synchronize by LibertasSpZ
In progress LibertasSpZ:master
LibertasSpZ:master
In progress
The Euclidean Action and the Action of the Group of Rotations Style linters #141: Pull request #1196 synchronize by LibertasSpZ
4m 4s LibertasSpZ:master
LibertasSpZ:master
4m 4s
The Euclidean Action and the Action of the Group of Rotations Label PR based on Comment #1575: Pull request #1196 created by jstoobysmith
6s
6s
The Euclidean Action and the Action of the Group of Rotations Label PR based on Comment #1574: Pull request #1196 submitted by jstoobysmith
11s
11s
feat(Mathematics/Calculus): coordinate Wirtinger calculus on ℂⁿ Label PR based on Comment #1573: Issue comment #1174 (comment) created by pariandrea
7s
7s
feat(Mathematics/Calculus): coordinate Wirtinger calculus on ℂⁿ Style linters #140: Pull request #1174 synchronize by pariandrea
4m 11s pariandrea:wirtinger-coordinate
pariandrea:wirtinger-coordinate
4m 11s
feat(Mathematics/Calculus): coordinate Wirtinger calculus on ℂⁿ Style linters #5018: Pull request #1174 synchronize by pariandrea
40m 35s pariandrea:wirtinger-coordinate
pariandrea:wirtinger-coordinate
40m 35s
The Euclidean Action and the Action of the Group of Rotations Label PR based on Comment #1572: Pull request #1196 created by LibertasSpZ
12s
12s
The Euclidean Action and the Action of the Group of Rotations Label PR based on Comment #1571: Pull request #1196 submitted by LibertasSpZ
6s
6s
The Euclidean Action and the Action of the Group of Rotations Style linters #139: Pull request #1196 synchronize by LibertasSpZ
4m 26s LibertasSpZ:master
LibertasSpZ:master
4m 26s
The Euclidean Action and the Action of the Group of Rotations Style linters #5017: Pull request #1196 synchronize by LibertasSpZ
41m 37s LibertasSpZ:master
LibertasSpZ:master
41m 37s
The Euclidean Action and the Action of the Group of Rotations Label PR based on Comment #1570: Pull request #1196 created by jstoobysmith
8s
8s
The Euclidean Action and the Action of the Group of Rotations Label PR based on Comment #1569: Pull request #1196 submitted by jstoobysmith
12s
12s
The Euclidean Action and the Action of the Group of Rotations Label PR based on Comment #1568: Pull request #1196 created by LibertasSpZ
13s
13s
The Euclidean Action and the Action of the Group of Rotations Label PR based on Comment #1567: Pull request #1196 submitted by LibertasSpZ
7s
7s
The Euclidean Action and the Action of the Group of Rotations Style linters #5016: Pull request #1196 synchronize by LibertasSpZ
37m 57s LibertasSpZ:master
LibertasSpZ:master
37m 57s
The Euclidean Action and the Action of the Group of Rotations Style linters #138: Pull request #1196 synchronize by LibertasSpZ
4m 15s LibertasSpZ:master
LibertasSpZ:master
4m 15s
The Euclidean Action and the Action of the Group of Rotations Style linters #137: Pull request #1196 synchronize by LibertasSpZ
3m 58s LibertasSpZ:master
LibertasSpZ:master
3m 58s
The Euclidean Action and the Action of the Group of Rotations Style linters #5015: Pull request #1196 synchronize by LibertasSpZ
38m 4s LibertasSpZ:master
LibertasSpZ:master
38m 4s
feat(SpaceAndTime/Space/Basic): IsManifold instance for Space Style linters #5014: Pull request #1176 synchronize by Bergschaf
30m 54s Bergschaf:SpaceManifoldV2
Bergschaf:SpaceManifoldV2
30m 54s