Skip to content

Actions: limakzi/smallantimagmas

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
761 workflow runs
761 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

gap-docs-19 fix: Fix isomorphism gap-docs #20: Pull request #19 synchronize by limakzi
July 5, 2024 14:32 2m 13s bugfix/fix-isomorphism-test
bugfix/fix-isomorphism-test
July 5, 2024 14:32 2m 13s
gap-docs-20 feat: Add proper submagmas gap-docs #19: Pull request #20 opened by limakzi
July 5, 2024 14:32 1m 40s feature/add-proper-submagmas
feature/add-proper-submagmas
July 5, 2024 14:32 1m 40s
gaplint-20 feat: Add proper submagmas gaplint #50: Pull request #20 opened by limakzi
July 5, 2024 14:32 20s feature/add-proper-submagmas
feature/add-proper-submagmas
July 5, 2024 14:32 20s
gap-test-20 feat: Add proper submagmas gap-tests #48: Pull request #20 opened by limakzi
July 5, 2024 14:32 1m 37s feature/add-proper-submagmas
feature/add-proper-submagmas
July 5, 2024 14:32 1m 37s
gap-docs-19 fix: Fix isomorphism gap-docs #18: Pull request #19 opened by limakzi
July 5, 2024 14:16 1m 42s bugfix/fix-isomorphism-test
bugfix/fix-isomorphism-test
July 5, 2024 14:16 1m 42s
gaplint-19 fix: Fix isomorphism gaplint #49: Pull request #19 opened by limakzi
July 5, 2024 14:16 19s bugfix/fix-isomorphism-test
bugfix/fix-isomorphism-test
July 5, 2024 14:16 19s
gap-test-19 fix: Fix isomorphism gap-tests #47: Pull request #19 opened by limakzi
July 5, 2024 14:16 1m 54s bugfix/fix-isomorphism-test
bugfix/fix-isomorphism-test
July 5, 2024 14:16 1m 54s
gaplint-18 feat: Add improved prover9 script gaplint #48: Pull request #18 opened by limakzi
July 5, 2024 09:41 20s feature/add-improved-prover-script
feature/add-improved-prover-script
July 5, 2024 09:41 20s
gap-test-18 feat: Add improved prover9 script gap-tests #46: Pull request #18 opened by limakzi
July 5, 2024 09:41 1m 44s feature/add-improved-prover-script
feature/add-improved-prover-script
July 5, 2024 09:41 1m 44s
gap-docs-18 feat: Add improved prover9 script gap-docs #17: Pull request #18 opened by limakzi
July 5, 2024 09:41 2m 10s feature/add-improved-prover-script
feature/add-improved-prover-script
July 5, 2024 09:41 2m 10s
gap-docs-17 feat: Add associativity-index gap-docs #16: Pull request #17 opened by limakzi
May 24, 2024 06:44 2m 39s feature/add-associativity-index
feature/add-associativity-index
May 24, 2024 06:44 2m 39s
gap-test-17 feat: Add associativity-index gap-tests #45: Pull request #17 opened by limakzi
May 24, 2024 06:44 1m 47s feature/add-associativity-index
feature/add-associativity-index
May 24, 2024 06:44 1m 47s
gaplint-17 feat: Add associativity-index gaplint #47: Pull request #17 opened by limakzi
May 24, 2024 06:44 28s feature/add-associativity-index
feature/add-associativity-index
May 24, 2024 06:44 28s
gaplint-16 build(deps): Bump gaplint from 1.1.5 to 1.2.1 gaplint #46: Pull request #16 opened by dependabot bot
May 2, 2024 19:36 24s dependabot/pip/gaplint-1.2.1
dependabot/pip/gaplint-1.2.1
May 2, 2024 19:36 24s
gap-docs-16 build(deps): Bump gaplint from 1.1.5 to 1.2.1 gap-docs #15: Pull request #16 opened by dependabot bot
May 2, 2024 19:36 3m 30s dependabot/pip/gaplint-1.2.1
dependabot/pip/gaplint-1.2.1
May 2, 2024 19:36 3m 30s
gap-test-16 build(deps): Bump gaplint from 1.1.5 to 1.2.1 gap-tests #44: Pull request #16 opened by dependabot bot
May 2, 2024 19:36 4m 3s dependabot/pip/gaplint-1.2.1
dependabot/pip/gaplint-1.2.1
May 2, 2024 19:36 4m 3s
gap-test-15 docs: Add documentation gap-tests #43: Pull request #15 synchronize by limakzi
April 28, 2024 08:25 1m 43s feature/add-doc
feature/add-doc
April 28, 2024 08:25 1m 43s
gaplint-15 docs: Add documentation gaplint #45: Pull request #15 synchronize by limakzi
April 28, 2024 08:25 26s feature/add-doc
feature/add-doc
April 28, 2024 08:25 26s
gap-docs-15 docs: Add documentation gap-docs #14: Pull request #15 synchronize by limakzi
April 28, 2024 08:25 2m 13s feature/add-doc
feature/add-doc
April 28, 2024 08:25 2m 13s
gap-docs-15 docs: Add documentation gap-docs #13: Pull request #15 synchronize by limakzi
April 19, 2024 08:51 2m 21s feature/add-doc
feature/add-doc
April 19, 2024 08:51 2m 21s
gaplint-15 docs: Add documentation gaplint #44: Pull request #15 synchronize by limakzi
April 19, 2024 08:51 20s feature/add-doc
feature/add-doc
April 19, 2024 08:51 20s
gap-test-15 docs: Add documentation gap-tests #42: Pull request #15 synchronize by limakzi
April 19, 2024 08:51 1m 52s feature/add-doc
feature/add-doc
April 19, 2024 08:51 1m 52s
gap-docs-15 docs: Add documentation gap-docs #12: Pull request #15 synchronize by limakzi
April 19, 2024 08:44 2m 13s feature/add-doc
feature/add-doc
April 19, 2024 08:44 2m 13s
gaplint-15 docs: Add documentation gaplint #43: Pull request #15 synchronize by limakzi
April 19, 2024 08:44 26s feature/add-doc
feature/add-doc
April 19, 2024 08:44 26s
gap-test-15 docs: Add documentation gap-tests #41: Pull request #15 synchronize by limakzi
April 19, 2024 08:44 1m 57s feature/add-doc
feature/add-doc
April 19, 2024 08:44 1m 57s
ProTip! You can narrow down the results and go further in time using created:<2024-04-19 or the other filters available.