Skip to content

Actions: jonathanvajda/axiolotl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21 workflow runs
21 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
Find inconsistency or unsatisfiable axiom CI and Deploy to GitHub Pages #21: Pull request #5 synchronize by jonathanvajda
21s find-inconsistency-or-unsatisfiable-axiom
find-inconsistency-or-unsatisfiable-axiom
21s
Find inconsistency or unsatisfiable axiom CI and Deploy to GitHub Pages #20: Pull request #5 opened by jonathanvajda
19s find-inconsistency-or-unsatisfiable-axiom
find-inconsistency-or-unsatisfiable-axiom
19s
incremental support for in-browser reasoning CI and Deploy to GitHub Pages #19: Pull request #4 opened by jonathanvajda
23s master
master
23s
export data and update query CI and Deploy to GitHub Pages #18: Commit 26c2a7c pushed by jonathanvajda
50s master
master
50s
Merge branch 'master' of https://github.com/jonathanvajda/axiolotl CI and Deploy to GitHub Pages #17: Commit f4df848 pushed by jonathanvajda
55s master
master
55s
Merge pull request #3 from jonathanvajda/visualization CI and Deploy to GitHub Pages #16: Commit 2112555 pushed by jonathanvajda
54s master
master
54s
added sparql query visualizer CI and Deploy to GitHub Pages #15: Pull request #3 opened by jonathanvajda
24s visualization
visualization
24s
Merge pull request #2 from jonathanvajda/license CI and Deploy to GitHub Pages #14: Commit 546b266 pushed by jonathanvajda
48s master
master
48s
Switch to GNU Public License, 3.0 CI and Deploy to GitHub Pages #13: Pull request #2 opened by jonathanvajda
21s license
license
21s
query search CI and Deploy to GitHub Pages #12: Commit 56fe678 pushed by jonathanvajda
41s master
master
41s
workflow-logic-builder-initial-staging CI and Deploy to GitHub Pages #11: Commit 4a070b3 pushed by jonathanvajda
47s master
master
47s
Merge pull request #1 from jonathanvajda/add-branding-header CI and Deploy to GitHub Pages #10: Commit 2f399b0 pushed by jonathanvajda
53s master
master
53s
Add branding header CI and Deploy to GitHub Pages #9: Pull request #1 opened by jonathanvajda
17s add-branding-header
add-branding-header
17s
node 'latest' CI and Deploy to GitHub Pages #8: Commit 131f3ca pushed by jonathanvajda
46s master
master
46s
common queries CI and Deploy to GitHub Pages #7: Commit b3a563c pushed by jonathanvajda
47s master
master
47s
fix the table's overflow issue CI and Deploy to GitHub Pages #6: Commit 00a1473 pushed by jonathanvajda
51s master
master
51s
db increment CI and Deploy to GitHub Pages #5: Commit 78e5c29 pushed by jonathanvajda
43s master
master
43s
clean up indexedDb init CI and Deploy to GitHub Pages #4: Commit c0d9ee3 pushed by jonathanvajda
37s master
master
37s
overhaul layout to support saved queries CI and Deploy to GitHub Pages #3: Commit 573b4d2 pushed by jonathanvajda
43s master
master
43s
remove old yaml CI and Deploy to GitHub Pages #2: Commit f3d583c pushed by jonathanvajda
41s master
master
41s
main to master CI and Deploy to GitHub Pages #1: Commit de722fd pushed by jonathanvajda
44s master
master
44s