Skip to content

Actions: semigroups/Semigroups

Actions

Workspaces

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
workspaces.yml
895 workflow runs
895 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Workspaces Workspaces #1977: Scheduled
1m 50s main
main
1m 50s
Workspaces Workspaces #1976: Scheduled
1m 56s main
main
1m 56s
Workspaces Workspaces #1975: Scheduled
2m 9s main
main
2m 9s
Workspaces Workspaces #1974: Scheduled
1m 50s main
main
1m 50s
Workspaces Workspaces #1973: Scheduled
2m 18s main
main
2m 18s
Workspaces Workspaces #1972: Scheduled
2m 14s main
main
2m 14s
isomorph: reduce size of CanonicalDigraph Workspaces #1971: Commit 0e85e31 pushed by james-d-mitchell
1m 58s main
main
1m 58s
isomorph: reduce size of CanonicalDigraph Workspaces #1970: Pull request #1209 synchronize by james-d-mitchell
2m 0s james-d-mitchell:codex/reduce-canonical-digraph
james-d-mitchell:codex/reduce-canonical-digraph
2m 0s
isomorph: reduce size of CanonicalDigraph Workspaces #1969: Pull request #1209 opened by james-d-mitchell
2m 37s james-d-mitchell:codex/reduce-canonical-digraph
james-d-mitchell:codex/reduce-canonical-digraph
2m 37s
Add info from Lunas website Workspaces #1968: Commit dbbd135 pushed by james-d-mitchell
5m 51s main
main
5m 51s
Make smallgrp an explicit dependency Workspaces #1967: Commit a7379d8 pushed by james-d-mitchell
4m 53s main
main
4m 53s
kernel: suppress libsemigroups reporting by default Workspaces #1966: Commit 1f39883 pushed by james-d-mitchell
3m 29s main
main
3m 29s
Workspaces Workspaces #1965: Scheduled
1m 57s main
main
1m 57s
kernel: suppress libsemigroups reporting by default Workspaces #1964: Pull request #1208 synchronize by james-d-mitchell
2m 8s james-d-mitchell:disable-libsemigroups-reporting-by-default
james-d-mitchell:disable-libsemigroups-reporting-by-default
2m 8s
Workspaces Workspaces #1963: Scheduled
1m 38s main
main
1m 38s
Workspaces Workspaces #1962: Scheduled
1m 42s main
main
1m 42s
kernel: suppress libsemigroups reporting by default Workspaces #1961: Pull request #1208 opened by james-d-mitchell
1m 50s james-d-mitchell:disable-libsemigroups-reporting-by-default
james-d-mitchell:disable-libsemigroups-reporting-by-default
1m 50s
Workspaces Workspaces #1960: Scheduled
2m 5s main
main
2m 5s
Workspaces Workspaces #1959: Scheduled
1m 39s main
main
1m 39s
Workspaces Workspaces #1958: Scheduled
1m 44s main
main
1m 44s
Workspaces Workspaces #1957: Scheduled
2m 9s main
main
2m 9s
Workspaces Workspaces #1956: Scheduled
1m 50s main
main
1m 50s
Workspaces Workspaces #1955: Scheduled
2m 5s main
main
2m 5s
Workspaces Workspaces #1954: Scheduled
1m 49s main
main
1m 49s
Workspaces Workspaces #1953: Scheduled
1m 54s main
main
1m 54s