Skip to content

Actions: limakzi/smallantimagmas

Actions

gaplint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pull-request-code-gaplint.yaml
54 workflow runs
54 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

gaplint-98 build(deps): Bump gaplint from 1.3.2 to 1.4.0 gaplint #54: Pull request #98 synchronize by limakzi
January 31, 2025 08:06 32s dependabot/pip/gaplint-1.4.0
dependabot/pip/gaplint-1.4.0
January 31, 2025 08:06 32s
gaplint-99 fix: Fix code formatting gaplint #53: Pull request #99 opened by limakzi
January 31, 2025 08:02 28s bugfix/fix-formatting
bugfix/fix-formatting
January 31, 2025 08:02 28s
gaplint-98 build(deps): Bump gaplint from 1.3.2 to 1.4.0 gaplint #52: Pull request #98 opened by dependabot bot
January 30, 2025 19:32 24s dependabot/pip/gaplint-1.4.0
dependabot/pip/gaplint-1.4.0
January 30, 2025 19:32 24s
gaplint-97 build(deps): Bump gap-system to 4.14 gaplint #51: Pull request #97 opened by limakzi
January 12, 2025 16:15 22s feature/add-support-for-gap414
feature/add-support-for-gap414
January 12, 2025 16:15 22s
gaplint-96 bump: Bump to v0.3.0 gaplint #50: Pull request #96 opened by limakzi
January 4, 2025 17:02 27s bump/v0.3.0
bump/v0.3.0
January 4, 2025 17:02 27s
gaplint-93 build(deps): Bump codecov/codecov-action from 4 to 5 gaplint #49: Pull request #93 opened by dependabot bot
November 14, 2024 20:02 22s dependabot/github_actions/codecov/codecov-action-5
dependabot/github_actions/codecov/codecov-action-5
November 14, 2024 20:02 22s
gaplint-92 feat: Add left-right derangement property gaplint #48: Pull request #92 synchronize by limakzi
October 13, 2024 20:48 22s feature/add-left-right-deranged-property
feature/add-left-right-deranged-property
October 13, 2024 20:48 22s
gaplint-92 feat: Add left-right derangement property gaplint #47: Pull request #92 opened by limakzi
October 13, 2024 20:44 24s feature/add-left-right-deranged-property
feature/add-left-right-deranged-property
October 13, 2024 20:44 24s
gaplint-88 build(deps): Bump gaplint from 1.2.1 to 1.3.2 gaplint #46: Pull request #88 synchronize by limakzi
September 5, 2024 20:30 28s dependabot/pip/gaplint-1.3.2
dependabot/pip/gaplint-1.3.2
September 5, 2024 20:30 28s
gaplint-91 feat: Add IsLeftRightAlternative gaplint #45: Pull request #91 opened by limakzi
September 5, 2024 20:26 21s 83-implement-left-right-alternative-method
83-implement-left-right-alternative-method
September 5, 2024 20:26 21s
gaplint-89 feat: Add IsFPFInduced properties gaplint #44: Pull request #89 synchronize by limakzi
September 5, 2024 20:08 19s feature/add-singleton-property
feature/add-singleton-property
September 5, 2024 20:08 19s
gaplint-89 feat: Add IsFPFInduced properties gaplint #43: Pull request #89 synchronize by limakzi
September 5, 2024 20:04 19s feature/add-singleton-property
feature/add-singleton-property
September 5, 2024 20:04 19s
gaplint-89 feat: Add IsLeftFPFInducted property gaplint #42: Pull request #89 opened by limakzi
September 3, 2024 23:42 18s feature/add-singleton-property
feature/add-singleton-property
September 3, 2024 23:42 18s
gaplint-88 build(deps): Bump gaplint from 1.2.1 to 1.3.2 gaplint #41: Pull request #88 opened by dependabot bot
September 2, 2024 19:22 22s dependabot/pip/gaplint-1.3.2
dependabot/pip/gaplint-1.3.2
September 2, 2024 19:22 22s
gaplint-86 fix: Fix packagemanager homepage URL gaplint #40: Pull request #86 synchronize by limakzi
August 30, 2024 14:07 24s fix/fix-documentation-readme
fix/fix-documentation-readme
August 30, 2024 14:07 24s
gaplint-86 fix: Fix packagemanager homepage URL gaplint #39: Pull request #86 synchronize by limakzi
August 30, 2024 14:03 19s fix/fix-documentation-readme
fix/fix-documentation-readme
August 30, 2024 14:03 19s
gaplint-86 fix: Fix packagemanager homepage URL gaplint #38: Pull request #86 synchronize by limakzi
August 30, 2024 14:03 24s fix/fix-documentation-readme
fix/fix-documentation-readme
August 30, 2024 14:03 24s
gaplint-86 fix: Fix packagemanager homepage URL gaplint #37: Pull request #86 synchronize by limakzi
August 30, 2024 13:59 21s fix/fix-documentation-readme
fix/fix-documentation-readme
August 30, 2024 13:59 21s
gaplint-86 fix: Fix packagemanager homepage URL gaplint #36: Pull request #86 opened by limakzi
August 30, 2024 12:45 21s fix/fix-documentation-readme
fix/fix-documentation-readme
August 30, 2024 12:45 21s
gaplint-81 bump: Bump to v0.2.12 gaplint #35: Pull request #81 synchronize by limakzi
August 29, 2024 10:38 23s bump/v0.2.12
bump/v0.2.12
August 29, 2024 10:38 23s
gaplint-81 bump: Bump to v0.2.12 gaplint #34: Pull request #81 opened by limakzi
August 29, 2024 10:33 18s bump/v0.2.12
bump/v0.2.12
August 29, 2024 10:33 18s
gaplint-80 bump: Bump to v0.2.11 gaplint #33: Pull request #80 opened by limakzi
August 29, 2024 08:58 25s bump/v0.2.11
bump/v0.2.11
August 29, 2024 08:58 25s
gaplint-79 bump: Bump to v0.2.10 gaplint #32: Pull request #79 opened by limakzi
August 28, 2024 21:26 23s bump/v0.2.10
bump/v0.2.10
August 28, 2024 21:26 23s
gaplint-78 fix: Fix prefix for tar-ball gaplint #31: Pull request #78 opened by limakzi
August 28, 2024 20:53 23s fix/fix-tar-prefix
fix/fix-tar-prefix
August 28, 2024 20:53 23s
gaplint-77 docs: Fix subtitle gaplint #30: Pull request #77 opened by limakzi
August 28, 2024 20:40 22s fix/fix-subtitle
fix/fix-subtitle
August 28, 2024 20:40 22s