Skip to content

Actions: semigroups/Semigroups

Configuration options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
336 workflow runs
336 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improved IsIsomorphicSemigroup Method
Configuration options #342: Pull request #1023 synchronize by james-d-mitchell
July 29, 2024 14:32 14m 38s tillman-froehlich:tillman
July 29, 2024 14:32 14m 38s
Improved IsIsomorphicSemigroup Method
Configuration options #341: Pull request #1023 synchronize by james-d-mitchell
July 29, 2024 14:16 14m 41s tillman-froehlich:tillman
July 29, 2024 14:16 14m 41s
Improved IsIsomorphicSemigroup Method
Configuration options #340: Pull request #1023 synchronize by james-d-mitchell
July 29, 2024 14:15 14m 37s tillman-froehlich:tillman
July 29, 2024 14:15 14m 37s
Better inverses
Configuration options #339: Pull request #1021 synchronize by Tianrun-Y
July 29, 2024 12:58 15m 5s Tianrun-Y:better-inverses
July 29, 2024 12:58 15m 5s
Don't try to read non-existent file
Configuration options #334: Commit 7c6fa1f pushed by james-d-mitchell
July 29, 2024 12:21 15m 4s stable-5.3
July 29, 2024 12:21 15m 4s
Better inverses
Configuration options #333: Pull request #1021 synchronize by Tianrun-Y
July 29, 2024 12:16 15m 35s Tianrun-Y:better-inverses
July 29, 2024 12:16 15m 35s
Don't try to read non-existent file
Configuration options #331: Pull request #1025 synchronize by james-d-mitchell
July 29, 2024 10:26 14m 37s james-d-mitchell:fix-issue-1022
July 29, 2024 10:26 14m 37s
Don't try to read non-existent file
Configuration options #330: Pull request #1025 opened by james-d-mitchell
July 29, 2024 10:26 14m 32s james-d-mitchell:fix-issue-1022
July 29, 2024 10:26 14m 32s
Mitsch Order
Configuration options #329: Pull request #1024 synchronize by Tianrun-Y
July 26, 2024 16:16 14m 30s Tianrun-Y:mitsch-new
July 26, 2024 16:16 14m 30s
Mitsch Order
Configuration options #328: Pull request #1024 opened by Tianrun-Y
July 26, 2024 14:52 14m 29s Tianrun-Y:mitsch-new
July 26, 2024 14:52 14m 29s
Improved IsIsomorphicSemigroup Method
Configuration options #326: Pull request #1023 synchronize by tillman-froehlich
July 24, 2024 15:31 14m 42s tillman-froehlich:tillman
July 24, 2024 15:31 14m 42s
Improved IsIsomorphicSemigroup Method
Configuration options #325: Pull request #1023 synchronize by tillman-froehlich
July 24, 2024 15:04 14m 30s tillman-froehlich:tillman
July 24, 2024 15:04 14m 30s
Improved IsIsomorphicSemigroup Method
Configuration options #324: Pull request #1023 synchronize by tillman-froehlich
July 9, 2024 11:01 14m 44s tillman-froehlich:tillman
July 9, 2024 11:01 14m 44s
Improved IsIsomorphicSemigroup Method
Configuration options #322: Pull request #1023 opened by tillman-froehlich
July 5, 2024 13:22 17m 10s tillman-froehlich:tillman
July 5, 2024 13:22 17m 10s
Better inverses
Configuration options #321: Pull request #1021 synchronize by Tianrun-Y
July 4, 2024 12:44 14m 33s Tianrun-Y:better-inverses
July 4, 2024 12:44 14m 33s
Better inverses
Configuration options #318: Pull request #1021 synchronize by Tianrun-Y
July 3, 2024 13:55 14m 50s Tianrun-Y:better-inverses
July 3, 2024 13:55 14m 50s
Better inverses
Configuration options #317: Pull request #1021 opened by Tianrun-Y
July 2, 2024 14:53 14m 57s Tianrun-Y:better-inverses
July 2, 2024 14:53 14m 57s
cong: fix typo in ImagesElm
Configuration options #315: Commit 133d7f7 pushed by james-d-mitchell
June 4, 2024 08:41 15m 5s stable-5.3
June 4, 2024 08:41 15m 5s
build(deps): bump jidicula/clang-format-action from 4.11.0 to 4.13.0
Configuration options #314: Commit c922565 pushed by james-d-mitchell
June 4, 2024 06:31 14m 23s main
June 4, 2024 06:31 14m 23s
cong: fix typo in ImagesElm
Configuration options #313: Pull request #1019 opened by james-d-mitchell
June 4, 2024 06:29 14m 14s james-d-mitchell:typo-in-images-elm
June 4, 2024 06:29 14m 14s
build(deps): bump jidicula/clang-format-action from 4.11.0 to 4.13.0
Configuration options #312: Commit 0b77a76 pushed by james-d-mitchell
May 30, 2024 08:43 14m 25s main
May 30, 2024 08:43 14m 25s
etc: add etc/code-coverage-test-*.py
Configuration options #310: Commit 4b5c792 pushed by james-d-mitchell
May 29, 2024 12:20 15m 36s main
May 29, 2024 12:20 15m 36s
Etc code cov script
Configuration options #309: Pull request #1018 synchronize by james-d-mitchell
May 29, 2024 10:30 21m 24s james-d-mitchell:etc-code-cov-script
May 29, 2024 10:30 21m 24s