Skip to content

Actions: constraintAutomaton/smt-nocture-db-to-rdf

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
47 workflow runs
47 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #17: by github-pages bot
September 29, 2024 13:15 49s
September 29, 2024 13:15 49s
Special fusion identified into the demon rdf dataset .github/workflows/deploy.yml #30: Commit d049ac9 pushed by constraintAutomaton
September 29, 2024 13:14 37s main
main
September 29, 2024 13:14 37s
pages build and deployment pages-build-deployment #16: by github-pages bot
September 29, 2024 12:06 42s
September 29, 2024 12:06 42s
Missing space in the demon dataset added .github/workflows/deploy.yml #29: Commit 82bd2f5 pushed by constraintAutomaton
September 29, 2024 12:05 34s main
main
September 29, 2024 12:05 34s
pages build and deployment pages-build-deployment #15: by github-pages bot
September 29, 2024 11:49 43s
September 29, 2024 11:49 43s
Missing space in the demon dataset added .github/workflows/deploy.yml #28: Commit 1627db0 pushed by constraintAutomaton
September 29, 2024 11:48 35s main
main
September 29, 2024 11:48 35s
pages build and deployment pages-build-deployment #14: by github-pages bot
September 29, 2024 11:15 41s
September 29, 2024 11:15 41s
Fix a typo in the game template. .github/workflows/deploy.yml #27: Commit 626d729 pushed by constraintAutomaton
September 29, 2024 11:14 37s main
main
September 29, 2024 11:14 37s
pages build and deployment pages-build-deployment #13: by github-pages bot
September 29, 2024 11:08 35s
September 29, 2024 11:08 35s
Vocabulary defined with owl and new term to describe that a demon can… .github/workflows/deploy.yml #26: Commit 7a43d12 pushed by constraintAutomaton
September 29, 2024 11:08 35s main
main
September 29, 2024 11:08 35s
pages build and deployment pages-build-deployment #12: by github-pages bot
September 27, 2024 16:03 37s
September 27, 2024 16:03 37s
Basic rules added to the index.html. .github/workflows/deploy.yml #25: Commit 8de332c pushed by constraintAutomaton
September 27, 2024 16:02 41s main
main
September 27, 2024 16:02 41s
pages build and deployment pages-build-deployment #11: by github-pages bot
September 27, 2024 16:01 40s
September 27, 2024 16:01 40s
Basic fusion rules except elementals fusion added. .github/workflows/deploy.yml #24: Commit 96f6e63 pushed by constraintAutomaton
September 27, 2024 16:01 36s main
main
September 27, 2024 16:01 36s
pages build and deployment pages-build-deployment #10: by github-pages bot
September 19, 2024 18:57 39s
September 19, 2024 18:57 39s
graph removed from the dataset and vocabulary fixed .github/workflows/deploy.yml #23: Commit 3bc9a3e pushed by constraintAutomaton
September 19, 2024 18:56 40s main
main
September 19, 2024 18:56 40s
pages build and deployment pages-build-deployment #9: by github-pages bot
September 18, 2024 18:14 44s
September 18, 2024 18:14 44s
fix the template with the trailling separator assumption .github/workflows/deploy.yml #22: Commit 15e2425 pushed by constraintAutomaton
September 18, 2024 18:14 36s main
main
September 18, 2024 18:14 36s
pages build and deployment pages-build-deployment #8: by github-pages bot
September 18, 2024 18:11 46s
September 18, 2024 18:11 46s
fix the namespace from the rust command in the deployment .github/workflows/deploy.yml #21: Commit a460e67 pushed by constraintAutomaton
September 18, 2024 18:10 59s main
main
September 18, 2024 18:10 59s
pages build and deployment pages-build-deployment #7: by github-pages bot
September 18, 2024 18:08 43s
September 18, 2024 18:08 43s
pages build and deployment pages-build-deployment #6: by github-pages bot
September 18, 2024 18:08 35s
September 18, 2024 18:08 35s
useless info deleted from the readme .github/workflows/deploy.yml #20: Commit 42f11e3 pushed by constraintAutomaton
September 18, 2024 18:08 35s main
main
September 18, 2024 18:08 35s
spacing added in the text .github/workflows/deploy.yml #19: Commit 1481232 pushed by constraintAutomaton
September 18, 2024 18:07 37s main
main
September 18, 2024 18:07 37s
pages build and deployment pages-build-deployment #5: by github-pages bot
September 18, 2024 18:06 36s
September 18, 2024 18:06 36s