Skip to content

Actions: semigroups/Semigroups

Actions

Configuration options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
459 workflow runs
459 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Configuration options
Configuration options #908: Scheduled
14m 50s main
Configuration options
Configuration options #907: Scheduled
14m 41s main
Configuration options
Configuration options #906: Scheduled
14m 19s main
Configuration options
Configuration options #905: Scheduled
14m 24s main
Configuration options
Configuration options #904: Scheduled
14m 32s main
Configuration options
Configuration options #903: Scheduled
14m 24s main
Configuration options
Configuration options #902: Scheduled
14m 7s main
Configuration options
Configuration options #901: Scheduled
14m 49s main
Configuration options
Configuration options #900: Scheduled
14m 24s main
Configuration options
Configuration options #899: Scheduled
14m 23s main
Configuration options
Configuration options #898: Scheduled
3h 41m 32s main
Configuration options
Configuration options #897: Scheduled
14m 15s main
Configuration options
Configuration options #896: Scheduled
14m 26s main
Configuration options
Configuration options #895: Scheduled
14m 43s main
Configuration options
Configuration options #894: Scheduled
14m 35s main
Configuration options
Configuration options #893: Scheduled
14m 36s main
Merge branch 'stable-5.5'
Configuration options #892: Commit 64a5525 pushed by wilfwilson
21m 40s main
CI: fixup extended workflow file 2
Configuration options #891: Commit c1d1a34 pushed by wilfwilson
14m 22s stable-5.5
Merge branch 'stable-5.5'
Configuration options #887: Commit c4d583a pushed by wilfwilson
34m 38s main
CI: fixup extended workflow file
Configuration options #886: Commit fdf51ef pushed by wilfwilson
19m 45s stable-5.5
Merge branch 'stable-5.5'
Configuration options #885: Commit 92ce570 pushed by wilfwilson
24m 27s main