Skip to content

Actions: potassco/potassco.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

also link the online runner on clingo page Deploy Jekyll site to Pages #26: Commit 7825f31 pushed by rkaminsk
35s master
master
35s
add a link to clingo 6 preview Deploy Jekyll site to Pages #25: Commit 1484730 pushed by rkaminsk
1m 2s master
master
1m 2s
explicitly link to clingo 5.8 c api doc Deploy Jekyll site to Pages #24: Commit 0556b9f pushed by rkaminsk
33s master
master
33s
add c-api docs for clingo 5.8 Deploy Jekyll site to Pages #23: Commit e7a3938 pushed by rkaminsk
37s master
master
37s
add python clingo 5.8 api doc Deploy Jekyll site to Pages #22: Commit 9b8ddfe pushed by rkaminsk
49s master
master
49s
combine old and new clingo worker Deploy Jekyll site to Pages #21: Commit 6d974d7 pushed by rkaminsk
38s master
master
38s
add switcher for lua/python Deploy Jekyll site to Pages #20: Commit 96135cb pushed by rkaminsk
44s master
master
44s
align worker.js and pyworker.js Deploy Jekyll site to Pages #19: Commit 344ecd9 pushed by rkaminsk
40s master
master
40s
simplify button styling Deploy Jekyll site to Pages #18: Commit 9d82ed8 pushed by rkaminsk
38s master
master
38s
fix the ctr+enter shortcut Deploy Jekyll site to Pages #17: Commit 4a00ede pushed by rkaminsk
44s master
master
44s
prestart the worker Deploy Jekyll site to Pages #16: Commit 1002dda pushed by rkaminsk
42s master
master
42s
fix enumerate all Deploy Jekyll site to Pages #15: Commit 95b3fe5 pushed by rkaminsk
37s master
master
37s
tweak to use the default main Deploy Jekyll site to Pages #14: Commit dac7bd4 pushed by rkaminsk
37s master
master
37s
update version Deploy Jekyll site to Pages #13: Commit 9252372 pushed by rkaminsk
44s master
master
44s
adjust version Deploy Jekyll site to Pages #12: Commit e099e27 pushed by rkaminsk
48s master
master
48s
update deploy workflow Deploy Jekyll site to Pages #11: Commit d0d3268 pushed by rkaminsk
12s master
master
12s
Merge pull request #65 from potassco/pyodide Deploy Jekyll site to Pages #10: Commit 761a8ab pushed by rkaminsk
16s master
master
16s
Merge pull request #64 from potassco/modernize Deploy Jekyll site to Pages #9: Commit ca54d9f pushed by rkaminsk
15s master
master
15s