Skip to content

Actions: kwankyu/sage

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
615 workflow runs
615 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Updated SageMath version to 11.0 Lint #941: Commit 7768ccd pushed by kwankyu
November 12, 2024 05:47 4m 33s develop
develop
November 12, 2024 05:47 4m 33s
P/38810/introduce negated optional tag test Lint #940: Pull request #79 opened by kwankyu
November 12, 2024 02:00 4m 25s p/38810/introduce-negated-optional-tag--test
p/38810/introduce-negated-optional-tag--test
November 12, 2024 02:00 4m 25s
Remove more spurious diffs Lint #939: Commit 5e86fcd pushed by kwankyu
November 11, 2024 23:06 4m 22s develop
develop
November 11, 2024 23:06 4m 22s
Squeeze more disk space Lint #938: Commit b9567a6 pushed by kwankyu
November 11, 2024 22:35 4m 24s develop
develop
November 11, 2024 22:35 4m 24s
Merge branch 'develop' into p/38659/p/streamline-installation-guide Lint #937: Commit 65f3178 pushed by kwankyu
November 11, 2024 13:11 4m 31s develop
develop
November 11, 2024 13:11 4m 31s
Introduce negated optional tag Lint #936: Pull request #78 synchronize by kwankyu
November 4, 2024 06:37 4m 33s p/introduce-negated-optional-tag
p/introduce-negated-optional-tag
November 4, 2024 06:37 4m 33s
More fixes to doc-build workflow Lint #935: Commit e90cc8b pushed by kwankyu
November 2, 2024 00:34 4m 33s develop
develop
November 2, 2024 00:34 4m 33s
More fixes to doc-build workflow Lint #934: Commit ad13513 pushed by kwankyu
November 1, 2024 23:42 4m 42s develop
develop
November 1, 2024 23:42 4m 42s
Fix a bug in doc-build workflow Lint #933: Commit 15d2b4f pushed by kwankyu
November 1, 2024 22:24 4m 29s develop
develop
November 1, 2024 22:24 4m 29s
For test Lint #932: Commit 3166468 pushed by kwankyu
November 1, 2024 11:33 4m 32s develop
develop
November 1, 2024 11:33 4m 32s
For test Lint #931: Commit 3e3be4c pushed by kwankyu
November 1, 2024 05:32 4m 27s develop
develop
November 1, 2024 05:32 4m 27s
For test Lint #930: Commit d1be6aa pushed by kwankyu
November 1, 2024 05:16 4m 54s develop
develop
November 1, 2024 05:16 4m 54s
Take parent directory in a different way Lint #929: Commit 35ba75f pushed by kwankyu
November 1, 2024 05:12 3m 30s develop
develop
November 1, 2024 05:12 3m 30s
Introduce negated optional tag Lint #928: Pull request #78 synchronize by kwankyu
October 16, 2024 15:23 3m 30s p/introduce-negated-optional-tag
p/introduce-negated-optional-tag
October 16, 2024 15:23 3m 30s
Introduce negated optional tag Lint #927: Pull request #78 synchronize by kwankyu
October 16, 2024 06:02 3m 26s p/introduce-negated-optional-tag
p/introduce-negated-optional-tag
October 16, 2024 06:02 3m 26s
Introduce negated optional tag Lint #926: Pull request #78 synchronize by kwankyu
October 15, 2024 21:55 3m 36s p/introduce-negated-optional-tag
p/introduce-negated-optional-tag
October 15, 2024 21:55 3m 36s
Introduce negated optional tag Lint #925: Pull request #78 synchronize by kwankyu
October 13, 2024 14:22 3m 21s p/introduce-negated-optional-tag
p/introduce-negated-optional-tag
October 13, 2024 14:22 3m 21s
Introduce negated optional tag Lint #924: Pull request #78 synchronize by kwankyu
October 13, 2024 11:06 4m 39s p/introduce-negated-optional-tag
p/introduce-negated-optional-tag
October 13, 2024 11:06 4m 39s
Introduce negated optional tag Lint #923: Pull request #78 synchronize by kwankyu
October 13, 2024 10:48 4m 37s p/introduce-negated-optional-tag
p/introduce-negated-optional-tag
October 13, 2024 10:48 4m 37s
Introduce negated optional tag Lint #922: Pull request #78 opened by kwankyu
October 13, 2024 10:23 4m 26s p/introduce-negated-optional-tag
p/introduce-negated-optional-tag
October 13, 2024 10:23 4m 26s
Merge branch 'develop' into conda-improv Lint #921: Commit d53776a pushed by kwankyu
October 10, 2024 01:32 5m 36s develop
develop
October 10, 2024 01:32 5m 36s
Add develop/devcontainer.json Lint #920: Commit 21211d8 pushed by kwankyu
October 9, 2024 00:20 5m 29s develop
develop
October 9, 2024 00:20 5m 29s
Add develop/devcontainer.json Lint #919: Commit 5b6953a pushed by kwankyu
October 8, 2024 23:56 5m 46s develop
develop
October 8, 2024 23:56 5m 46s
Add develop/devcontainer.json Lint #918: Commit 4dd3904 pushed by kwankyu
October 8, 2024 23:52 3m 44s develop
develop
October 8, 2024 23:52 3m 44s
Add develop/devcontainer.json Lint #917: Commit c82d492 pushed by kwankyu
October 8, 2024 16:55 5m 54s develop
develop
October 8, 2024 16:55 5m 54s