Skip to content

Actions: potassco/website

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
45 workflow runs
45 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
move docs to clingo repo Deploy Jekyll site to Pages #44: Commit 92d9ef1 pushed by rkaminsk
32s master
master
32s
doc fixes Deploy Jekyll site to Pages #43: Commit 7bf18bc pushed by rkaminsk
30s master
master
30s
update docs Deploy Jekyll site to Pages #42: Commit f607fcf pushed by rkaminsk
32s master
master
32s
switch docs to mkdoc Deploy Jekyll site to Pages #41: Commit 81c9b34 pushed by rkaminsk
36s master
master
36s
add clingo 6 docs Deploy Jekyll site to Pages #40: Commit b80c7cd pushed by rkaminsk
43s master
master
43s
update clingo Deploy Jekyll site to Pages #39: Commit 0ada976 pushed by rkaminsk
43s master
master
43s
update clingo Deploy Jekyll site to Pages #38: Commit e53f396 pushed by rkaminsk
41s master
master
41s
update clingo Deploy Jekyll site to Pages #37: Commit 5caa18b pushed by rkaminsk
41s master
master
41s
fixups Deploy Jekyll site to Pages #36: Commit 6ea50f0 pushed by rkaminsk
32s master
master
32s
fix handling of assumptions Deploy Jekyll site to Pages #35: Commit 93a6371 pushed by rkaminsk
32s master
master
32s
update changes Deploy Jekyll site to Pages #34: Commit e576022 pushed by rkaminsk
28s master
master
28s
fix python coloring Deploy Jekyll site to Pages #33: Commit 52f3c39 pushed by rkaminsk
35s master
master
35s
fix argument handling Deploy Jekyll site to Pages #32: Commit db13090 pushed by rkaminsk
33s master
master
33s
add support for output coloring Deploy Jekyll site to Pages #31: Commit 656c0a5 pushed by rkaminsk
38s master
master
38s
make the footer consistent Deploy Jekyll site to Pages #30: Commit 8d2ea4d pushed by rkaminsk
29s master
master
29s
get rid of unnecessary backslashes Deploy Jekyll site to Pages #29: Commit 90c862f pushed by rkaminsk
57s master
master
57s
add github repos to my projects Deploy Jekyll site to Pages #28: Commit 1706933 pushed by rkaminsk
57s master
master
57s
update string escapes Deploy Jekyll site to Pages #27: Commit 2a75363 pushed by rkaminsk
33s master
master
33s
refine issue template Deploy Jekyll site to Pages #26: Commit a866f3e pushed by rkaminsk
35s master
master
35s
refine new system template Deploy Jekyll site to Pages #25: Commit 653de7c pushed by rkaminsk
30s master
master
30s
add xpit system Deploy Jekyll site to Pages #24: Commit d5772ef pushed by rkaminsk
30s master
master
30s
Merge pull request #12 from potassco/sh/systems Deploy Jekyll site to Pages #23: Commit 6ce0741 pushed by rkaminsk
34s master
master
34s
Running Copilot Code Review Copilot #1: by Copilot AI
3m 41s sh/systems
sh/systems
3m 41s
refine Deploy Jekyll site to Pages #22: Commit 2df3d2f pushed by rkaminsk
36s master
master
36s
refine Deploy Jekyll site to Pages #21: Commit 1dd1e44 pushed by rkaminsk
35s master
master
35s