Skip to content

Actions: dice-group/owlapy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
782 workflow runs
782 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

added entailment and satisfiability checking methods Ruff #82: Commit b8327d5 pushed by alkidbaci
October 2, 2024 12:40 18s extra_features
extra_features
October 2, 2024 12:40 18s
added entailment and satisfiability checking methods Python package #379: Commit b8327d5 pushed by alkidbaci
October 2, 2024 12:40 2m 54s extra_features
extra_features
October 2, 2024 12:40 2m 54s
added signature, abox and tbox retrival methods Python package #378: Commit cc67c82 pushed by alkidbaci
October 2, 2024 12:22 3m 10s extra_features
extra_features
October 2, 2024 12:22 3m 10s
added signature, abox and tbox retrival methods Ruff #81: Commit cc67c82 pushed by alkidbaci
October 2, 2024 12:22 17s extra_features
extra_features
October 2, 2024 12:22 17s
pages build and deployment pages-build-deployment #158: by github-pages bot
October 1, 2024 13:51 40s
October 1, 2024 13:51 40s
Merge pull request #76 from dice-group/issues-solving Ruff #80: Commit 70fad7c pushed by Demirrr
October 1, 2024 13:46 19s develop
develop
October 1, 2024 13:46 19s
Merge pull request #76 from dice-group/issues-solving Python package #377: Commit 70fad7c pushed by Demirrr
October 1, 2024 13:46 2m 50s develop
develop
October 1, 2024 13:46 2m 50s
Merge pull request #76 from dice-group/issues-solving Build & Publish Docs #163: Commit 70fad7c pushed by Demirrr
October 1, 2024 13:46 4m 12s develop
develop
October 1, 2024 13:46 4m 12s
pages build and deployment pages-build-deployment #157: by github-pages bot
October 1, 2024 13:00 33s
October 1, 2024 13:00 33s
pages build and deployment pages-build-deployment #156: by github-pages bot
October 1, 2024 12:58 34s
October 1, 2024 12:58 34s
Removed unused jar files Ruff #79: Pull request #76 synchronize by alkidbaci
October 1, 2024 12:56 17s issues-solving
issues-solving
October 1, 2024 12:56 17s
Removed unused jar files Python package #376: Pull request #76 synchronize by alkidbaci
October 1, 2024 12:56 3m 0s issues-solving
issues-solving
October 1, 2024 12:56 3m 0s
Removed unused jar files Build & Publish Docs #162: Pull request #76 synchronize by alkidbaci
October 1, 2024 12:56 4m 25s issues-solving
issues-solving
October 1, 2024 12:56 4m 25s
fixed ruff-related error Python package #375: Commit 023b1c6 pushed by alkidbaci
October 1, 2024 12:56 2m 57s issues-solving
issues-solving
October 1, 2024 12:56 2m 57s
fixed ruff-related error Ruff #78: Commit 023b1c6 pushed by alkidbaci
October 1, 2024 12:56 13s issues-solving
issues-solving
October 1, 2024 12:56 13s
Removed unused jar files Build & Publish Docs #161: Pull request #76 synchronize by alkidbaci
October 1, 2024 12:54 3m 59s issues-solving
issues-solving
October 1, 2024 12:54 3m 59s
Removed unused jar files Ruff #77: Pull request #76 synchronize by alkidbaci
October 1, 2024 12:54 13s issues-solving
issues-solving
October 1, 2024 12:54 13s
Removed unused jar files Python package #374: Pull request #76 synchronize by alkidbaci
October 1, 2024 12:54 3m 10s issues-solving
issues-solving
October 1, 2024 12:54 3m 10s
added test for owlapy command Python package #373: Commit 2e35a4a pushed by alkidbaci
October 1, 2024 12:54 3m 14s issues-solving
issues-solving
October 1, 2024 12:54 3m 14s
added test for owlapy command Ruff #76: Commit 2e35a4a pushed by alkidbaci
October 1, 2024 12:54 19s issues-solving
issues-solving
October 1, 2024 12:54 19s
pages build and deployment pages-build-deployment #155: by github-pages bot
October 1, 2024 09:46 32s
October 1, 2024 09:46 32s
Removed unused jar files Build & Publish Docs #160: Pull request #76 opened by alkidbaci
October 1, 2024 09:41 4m 10s issues-solving
issues-solving
October 1, 2024 09:41 4m 10s
Removed unused jar files Python package #372: Pull request #76 opened by alkidbaci
October 1, 2024 09:41 2m 39s issues-solving
issues-solving
October 1, 2024 09:41 2m 39s
Removed unused jar files Ruff #75: Pull request #76 opened by alkidbaci
October 1, 2024 09:41 20s issues-solving
issues-solving
October 1, 2024 09:41 20s
Merge remote-tracking branch 'origin/develop' into issues-solving Ruff #74: Commit efac1b3 pushed by alkidbaci
September 30, 2024 14:55 14s issues-solving
issues-solving
September 30, 2024 14:55 14s