Skip to content

Actions: semigroups/Semigroups

Actions

Configuration options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
config-options.yml
349 workflow runs
349 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix workspaces Configuration options #114: Pull request #962 synchronize by james-d-mitchell
October 6, 2023 16:12 7m 52s james-d-mitchell:fix-workspaces
james-d-mitchell:fix-workspaces
October 6, 2023 16:12 7m 52s
Fix workspaces Configuration options #113: Pull request #962 synchronize by james-d-mitchell
October 6, 2023 16:09 7m 3s james-d-mitchell:fix-workspaces
james-d-mitchell:fix-workspaces
October 6, 2023 16:09 7m 3s
Fix workspaces Configuration options #112: Pull request #962 synchronize by james-d-mitchell
October 6, 2023 16:03 8m 2s james-d-mitchell:fix-workspaces
james-d-mitchell:fix-workspaces
October 6, 2023 16:03 8m 2s
Fix workspaces Configuration options #111: Pull request #962 synchronize by james-d-mitchell
October 6, 2023 14:52 18m 15s james-d-mitchell:fix-workspaces
james-d-mitchell:fix-workspaces
October 6, 2023 14:52 18m 15s
Fix workspaces Configuration options #110: Pull request #962 synchronize by james-d-mitchell
October 6, 2023 14:50 14m 12s james-d-mitchell:fix-workspaces
james-d-mitchell:fix-workspaces
October 6, 2023 14:50 14m 12s
Fix workspaces Configuration options #109: Pull request #962 opened by james-d-mitchell
October 6, 2023 12:59 19m 3s james-d-mitchell:fix-workspaces
james-d-mitchell:fix-workspaces
October 6, 2023 12:59 19m 3s
Update version numbers etc for v5.3.1 Configuration options #108: Commit 5ea4415 pushed by james-d-mitchell
September 20, 2023 08:11 15m 42s main
main
September 20, 2023 08:11 15m 42s
Update version numbers etc for v5.3.1 Configuration options #107: Commit 5ea4415 pushed by james-d-mitchell
September 19, 2023 15:08 7m 15s stable-5.3
stable-5.3
September 19, 2023 15:08 7m 15s
Rc v5.3.1 Configuration options #106: Pull request #959 synchronize by james-d-mitchell
September 19, 2023 13:49 10m 50s rc-v5.3.1
rc-v5.3.1
September 19, 2023 13:49 10m 50s
freeinverse: fix typo Configuration options #105: Commit 10d2666 pushed by james-d-mitchell
September 19, 2023 13:49 9m 35s stable-5.3
stable-5.3
September 19, 2023 13:49 9m 35s
Rc v5.3.1 Configuration options #104: Pull request #959 opened by james-d-mitchell
September 19, 2023 13:48 7m 29s rc-v5.3.1
rc-v5.3.1
September 19, 2023 13:48 7m 29s
Update GNUmakefile.in Configuration options #103: Commit f4ba4f6 pushed by james-d-mitchell
September 19, 2023 13:29 10m 27s stable-5.3
stable-5.3
September 19, 2023 13:29 10m 27s
build: try fix gap pkg distro Configuration options #102: Pull request #958 synchronize by james-d-mitchell
September 19, 2023 08:35 7m 26s james-d-mitchell:fix-pkg-distro
james-d-mitchell:fix-pkg-distro
September 19, 2023 08:35 7m 26s
build: try fix gap pkg distro Configuration options #101: Pull request #958 opened by james-d-mitchell
September 19, 2023 08:03 6m 40s james-d-mitchell:fix-pkg-distro
james-d-mitchell:fix-pkg-distro
September 19, 2023 08:03 6m 40s
freeinverse: fix typo Configuration options #100: Pull request #957 opened by james-d-mitchell
September 19, 2023 08:01 8m 49s james-d-mitchell:fix-typo
james-d-mitchell:fix-typo
September 19, 2023 08:01 8m 49s
Update version numbers etc for v5.3.0 Configuration options #99: Commit bc45684 pushed by james-d-mitchell
September 18, 2023 10:16 6m 56s main
main
September 18, 2023 10:16 6m 56s
Update version numbers etc for v5.3.0 Configuration options #98: Commit bc45684 pushed by james-d-mitchell
September 18, 2023 10:09 8m 53s stable-5.3
stable-5.3
September 18, 2023 10:09 8m 53s
Update version numbers etc for v5.3.0 Configuration options #97: Pull request #956 opened by james-d-mitchell
September 18, 2023 09:03 7m 35s rc-v5.3.0
rc-v5.3.0
September 18, 2023 09:03 7m 35s
use m4_normalize to unsplit lines Configuration options #96: Commit 5473b4c pushed by james-d-mitchell
September 18, 2023 09:03 7m 47s stable-5.3
stable-5.3
September 18, 2023 09:03 7m 47s
use m4_normalize to unsplit lines Configuration options #95: Commit 5473b4c pushed by james-d-mitchell
September 16, 2023 19:09 8m 21s main
main
September 16, 2023 19:09 8m 21s
set rpath for external libsemigroups Configuration options #94: Pull request #954 synchronize by dimpase
September 16, 2023 15:27 7m 19s dimpase:rpath_fix
dimpase:rpath_fix
September 16, 2023 15:27 7m 19s
set rpath for external libsemigroups Configuration options #93: Pull request #954 synchronize by james-d-mitchell
September 16, 2023 09:57 8m 25s dimpase:rpath_fix
dimpase:rpath_fix
September 16, 2023 09:57 8m 25s
buildsystem: sane warning if not using gmake Configuration options #92: Commit 8abd3de pushed by james-d-mitchell
September 14, 2023 10:34 16m 59s main
main
September 14, 2023 10:34 16m 59s
buildsystem: sane warning if not using gmake Configuration options #91: Pull request #955 synchronize by james-d-mitchell
September 14, 2023 09:08 7m 47s james-d-mitchell:non-gmake-warning
james-d-mitchell:non-gmake-warning
September 14, 2023 09:08 7m 47s
buildsystem: sane warning if not using gmake Configuration options #90: Pull request #955 synchronize by james-d-mitchell
September 14, 2023 09:02 7m 7s james-d-mitchell:non-gmake-warning
james-d-mitchell:non-gmake-warning
September 14, 2023 09:02 7m 7s
ProTip! You can narrow down the results and go further in time using created:<2023-09-14 or the other filters available.