Skip to content

Actions: limakzi/smallantimagmas

Actions

gaplint

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
gaplint-75 Fix typo gaplint #29: Pull request #75 opened by fingolfin
August 28, 2024 15:25 24s fingolfin:patch-1
fingolfin:patch-1
August 28, 2024 15:25 24s
gaplint-73 docs: Add release-badge gaplint #28: Pull request #73 opened by limakzi
August 28, 2024 15:00 25s feat/add-status-badge
feat/add-status-badge
August 28, 2024 15:00 25s
gaplint-72 docs: Fix LICENSE gaplint #27: Pull request #72 opened by limakzi
August 28, 2024 14:53 21s fix/fix-license-in-gh
fix/fix-license-in-gh
August 28, 2024 14:53 21s
gaplint-71 bump: Bump to v0.2.9 gaplint #26: Pull request #71 opened by limakzi
August 28, 2024 14:32 24s release/v0.2.9
release/v0.2.9
August 28, 2024 14:32 24s
gaplint-70 bump: Bump to v0.2.8 gaplint #25: Pull request #70 opened by limakzi
August 28, 2024 13:42 20s release/v0.2.8
release/v0.2.8
August 28, 2024 13:42 20s
gaplint-69 bump: Bump to v0.2.7 gaplint #24: Pull request #69 synchronize by limakzi
August 28, 2024 13:19 25s release/v0.2.7
release/v0.2.7
August 28, 2024 13:19 25s