Skip to content

Actions: libsemigroups/libsemigroups.github.io

Actions

Build and deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add Semigroups.jl
Build and deploy #4: Commit 907d2ce pushed by james-d-mitchell
46s main
Add Semigroups.jl
Build and deploy #3: Commit 9e9afa9 pushed by james-d-mitchell
40s main
Add theme
Build and deploy #2: Commit 8e7c766 pushed by james-d-mitchell
36s main
Redo using gh-action
Build and deploy #1: Commit 921889e pushed by james-d-mitchell
10s main