Skip to content

Actions: libsemigroups/libsemigroups.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 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
Add tutorial section Build and deploy #11: Commit ff3dc8b pushed by james-d-mitchell
1m 7s main
main
1m 7s
Fix spaces in github links Build and deploy #10: Commit 8c6b88b pushed by james-d-mitchell
50s main
main
50s
Add julia to the github links on homepage Build and deploy #9: Commit 4cf6fc9 pushed by james-d-mitchell
39s main
main
39s
Improve project ideas page (#2) Build and deploy #8: Commit 9cd8ea5 pushed by reiniscirpons
48s main
main
48s
Build and deploy Build and deploy #7: Manually run by james-d-mitchell
53s main
main
53s
Merge pull request #1 from reiniscirpons/main Build and deploy #6: Commit 6db9aa1 pushed by james-d-mitchell
55s main
main
55s
Add GSoC first stab Build and deploy #5: Commit 6c9a1f1 pushed by james-d-mitchell
47s main
main
47s
Add Semigroups.jl Build and deploy #4: Commit 907d2ce pushed by james-d-mitchell
46s main
main
46s
Add Semigroups.jl Build and deploy #3: Commit 9e9afa9 pushed by james-d-mitchell
40s main
main
40s
Add theme Build and deploy #2: Commit 8e7c766 pushed by james-d-mitchell
36s main
main
36s
Redo using gh-action Build and deploy #1: Commit 921889e pushed by james-d-mitchell
10s main
main
10s
pages build and deployment pages-build-deployment #2: by james-d-mitchell
37s main
main
37s
pages build and deployment pages-build-deployment #1: by james-d-mitchell
37s main
main
37s