Workflow runs · libsemigroups/libsemigroups.github.io · GitHub

Actions

All workflows
Workflows
- Build and deploy Build and deploy
- pages-build-deployment pages-build-deployment
Management
- Caches
- Deployments

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

13 workflow runs

13 workflow runs

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