Skip to content

Actions: CIRSS/geist-p

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
155 workflow runs
155 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #117: by github-pages bot
24s gh-pages
gh-pages
24s
pages build and deployment pages-build-deployment #116: by github-pages bot
29s gh-pages
gh-pages
29s
Add meta data to PyPI docs #138: Commit b8c74d3 pushed by Meng6
46s v0.4.2
v0.4.2
46s
Add meta data to PyPI docs #137: Commit b8c74d3 pushed by Meng6
45s develop
develop
45s
pages build and deployment pages-build-deployment #115: by github-pages bot
23s gh-pages
gh-pages
23s
Make rdflib, duckdb, and clingo optional dependencies docs #136: Commit 25b8736 pushed by Meng6
37s v0.4.2
v0.4.2
37s
pages build and deployment pages-build-deployment #114: by github-pages bot
22s gh-pages
gh-pages
22s
(1) Add Clingo docs; (2) suppress warnings for Clingo; (3) update cha… docs #135: Commit 50f268c pushed by Meng6
43s v0.4.0
v0.4.0
43s
pages build and deployment pages-build-deployment #113: by github-pages bot
22s gh-pages
gh-pages
22s
Make rdflib, duckdb, and clingo optional dependencies docs #134: Commit 25b8736 pushed by Meng6
44s v0.4.1
v0.4.1
44s
pages build and deployment pages-build-deployment #112: by github-pages bot
25s gh-pages
gh-pages
25s
Make rdflib, duckdb, and clingo optional dependencies docs #133: Commit 25b8736 pushed by Meng6
45s develop
develop
45s
pages build and deployment pages-build-deployment #111: by github-pages bot
51s gh-pages
gh-pages
51s
(1) Add Clingo docs; (2) suppress warnings for Clingo; (3) update cha… docs #132: Commit 50f268c pushed by Meng6
54s develop
develop
54s
pages build and deployment pages-build-deployment #110: by github-pages bot
1m 1s gh-pages
gh-pages
1m 1s
(1) Add Clingo docs; (2) suppress warnings for Clingo; (3) update cha… docs #131: Commit d6fad5c pushed by Meng6
1m 6s v0.4.0
v0.4.0
1m 6s
pages build and deployment pages-build-deployment #109: by github-pages bot
38s gh-pages
gh-pages
38s
(1) Add Clingo docs; (2) suppress warnings for Clingo; (3) update cha… docs #130: Commit d6fad5c pushed by Meng6
55s develop
develop
55s
pages build and deployment pages-build-deployment #108: by github-pages bot
33s gh-pages
gh-pages
33s
(1) Add Clingo docs; (2) suppress warnings for Clingo docs #129: Commit bbba6ab pushed by Meng6
43s develop
develop
43s
pages build and deployment pages-build-deployment #107: by github-pages bot
30s gh-pages
gh-pages
30s
Update filter_by_predicate for clingo to support select multiple pred… docs #128: Commit 9d7c5d9 pushed by Meng6
42s develop
develop
42s
pages build and deployment pages-build-deployment #106: by github-pages bot
25s gh-pages
gh-pages
25s
Fix the bug of load method (clingo): keyError predicate docs #127: Commit 309d783 pushed by Meng6
47s develop
develop
47s
pages build and deployment pages-build-deployment #105: by github-pages bot
26s gh-pages
gh-pages
26s