Skip to content

Actions: 3-manifolds/SnapPy

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
339 workflow runs
339 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

November 7, 2023 09:00 33s
Inside view: Adding texture to eyeball.
Lint #219: Commit 766446f pushed by unhyperbolic
November 7, 2023 08:03 52s master
November 7, 2023 08:03 52s
November 2, 2023 15:35 40s
fix ruff warnings UP02
Lint #217: Pull request #120 opened by fchapoton
November 2, 2023 13:46 41s fchapoton:ruff_UP02
November 2, 2023 13:46 41s
Inside view shader: more white space fixes.
Lint #216: Commit 14d73eb pushed by unhyperbolic
November 2, 2023 04:36 25s master
November 2, 2023 04:36 25s
Inside view shader: some white space fixes.
Lint #215: Commit 6575aa0 pushed by unhyperbolic
November 2, 2023 04:29 32s master
November 2, 2023 04:29 32s
November 2, 2023 04:02 29s
Tiling: update documentation
Lint #213: Commit ec4fa1b pushed by unhyperbolic
November 2, 2023 02:47 30s master
November 2, 2023 02:47 30s
use ruff --fix --select C4 python/ (#119)
Lint #212: Commit 40fd318 pushed by NathanDunfield
October 31, 2023 15:01 41s master
October 31, 2023 15:01 41s
Ptolemy: fixes in the documentation.
Lint #211: Commit 3408c35 pushed by unhyperbolic
October 26, 2023 01:36 36s master
October 26, 2023 01:36 36s
use ruff --fix --select C4 python/
Lint #210: Pull request #119 opened by fchapoton
October 24, 2023 16:11 40s fchapoton:ruff_C4
October 24, 2023 16:11 40s
fix some old prints and usage of super() (#118)
Lint #209: Commit c91b2a9 pushed by NathanDunfield
October 17, 2023 15:28 52s master
October 17, 2023 15:28 52s
Fixing error message for Alexander polynomial.
Lint #208: Commit 9714099 pushed by unhyperbolic
October 13, 2023 18:32 32s master
October 13, 2023 18:32 32s
symplectic basis for triangulated 3 manifolds (#117)
Lint #207: Commit 4df00b4 pushed by NathanDunfield
October 13, 2023 18:18 51s master
October 13, 2023 18:18 51s
ProTip! You can narrow down the results and go further in time using created:<2023-10-13 or the other filters available.