Skip to content

Actions: libsemigroups/Semigroups.jl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
625 workflow runs
625 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
pages build and deployment pages-build-deployment #43: by github-pages Bot
43s gh-pages
gh-pages
43s
Add Paths and basic testing (#76) Deploy documentation #62: Commit 7192066 pushed by jswent
7m 28s main
main
7m 28s
Add Paths and basic testing Doc Preview Cleanup #26: Pull request #76 closed by jswent
9s add-paths
add-paths
9s
Add Paths and basic testing (#76) .github/workflows/lint.yml #163: Commit 7192066 pushed by jswent
Failure main
main
Failure
Add Paths and basic testing Run tests #116: Pull request #76 opened by jswent
22m 5s add-paths
add-paths
22m 5s
Add Paths and basic testing Formatting #116: Pull request #76 opened by jswent
1m 16s add-paths
add-paths
1m 16s
Add Paths and basic testing Documentation (PR) #60: Pull request #76 opened by jswent
9m 42s add-paths
add-paths
9m 42s
chore: run formatter .github/workflows/lint.yml #162: Commit d7ce60b pushed by jswent
Failure add-paths
add-paths
Failure
doc: alphabetize page ordering Deploy documentation #61: Commit bfc81fa pushed by jswent
1m 56s main
main
1m 56s
doc: alphabetize page ordering .github/workflows/lint.yml #161: Commit bfc81fa pushed by jswent
Failure main
main
Failure
Add .mailmap Deploy documentation #60: Commit 19422a7 pushed by jswent
5m 2s main
main
5m 2s
Add .mailmap .github/workflows/lint.yml #160: Commit 19422a7 pushed by jswent
Failure main
main
Failure
Add Paths and basic testing Doc Preview Cleanup #25: Pull request #75 closed by jswent
10s add-paths
add-paths
10s
Merge pull request #75 from libsemigroups/add-paths Deploy documentation #59: Commit 8bca40d pushed by jswent
1m 0s main
main
1m 0s
Merge pull request #75 from libsemigroups/add-paths .github/workflows/lint.yml #159: Commit 8bca40d pushed by jswent
Failure main
main
Failure
Add Paths and basic testing Run tests #115: Pull request #75 opened by jswent
19m 53s add-paths
add-paths
19m 53s
Add Paths and basic testing Formatting #115: Pull request #75 opened by jswent
1m 19s add-paths
add-paths
1m 19s
Add Paths and basic testing Documentation (PR) #59: Pull request #75 opened by jswent
9m 58s add-paths
add-paths
9m 58s
chore: run formatter .github/workflows/lint.yml #158: Commit d7ce60b pushed by jswent
Failure add-paths
add-paths
Failure
pages build and deployment pages-build-deployment #42: by github-pages Bot
40s gh-pages
gh-pages
40s
doc: alphabetize page ordering Deploy documentation #58: Commit bfc81fa pushed by jswent
6m 43s main
main
6m 43s
doc: alphabetize page ordering .github/workflows/lint.yml #157: Commit bfc81fa pushed by jswent
Failure main
main
Failure
pages build and deployment pages-build-deployment #41: by github-pages Bot
41s gh-pages
gh-pages
41s
doc: Update readme, doc pages preparing for release Deploy documentation #57: Commit d6ea321 pushed by jswent
6m 34s main
main
6m 34s
doc: Update readme, doc pages preparing for release .github/workflows/lint.yml #156: Commit d6ea321 pushed by jswent
Failure main
main
Failure