Skip to content

Actions: libsemigroups/Semigroups.jl

Actions

.github/workflows/lint.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
157 workflow runs
157 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

doc: alphabetize page ordering
.github/workflows/lint.yml #157: Commit bfc81fa pushed by jswent
Failure main
doc: Update readme, doc pages preparing for release
.github/workflows/lint.yml #156: Commit d6ea321 pushed by jswent
Failure main
temp: add override to disable libsemigroups_julia_jll
.github/workflows/lint.yml #155: Commit 83e75a0 pushed by jswent
Failure main
Merge pull request #72 from libsemigroups/add-knuth-bendix
.github/workflows/lint.yml #154: Commit 80b81b3 pushed by jswent
Failure main
chore: run formatter
.github/workflows/lint.yml #153: Commit fc95df4 pushed by jswent
chore: run formatter
.github/workflows/lint.yml #152: Commit adc30a6 pushed by jswent
chore: run formatter again
.github/workflows/lint.yml #148: Commit 7527874 pushed by jswent
tests: add more presentation tests
.github/workflows/lint.yml #139: Commit 91beab8 pushed by jswent
docs: fix inline latex
.github/workflows/lint.yml #138: Commit 396c258 pushed by jswent
docs: fix latex escape seqs
.github/workflows/lint.yml #137: Commit 08c843e pushed by jswent
tests: add more presentation tests
.github/workflows/lint.yml #136: Commit 767ae4a pushed by jswent
chore: run formatter
.github/workflows/lint.yml #135: Commit 26afa1e pushed by jswent
docs: add presentation doc files
.github/workflows/lint.yml #134: Commit b646c6f pushed by jswent
Merge pull request #63 from libsemigroups/add-wordgraph-v2
.github/workflows/lint.yml #133: Commit da50a4e pushed by jswent
Failure main