Skip to content

Actions: libsemigroups/libsemigroups.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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