Skip to content

Actions: ontologyportal/sigmakee

All workflows

Actions

Loading...

Showing runs from all workflows
238 workflow runs
238 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

add type defs for THF and TFF
Java CI #112: Commit dff03ed pushed by apease
March 1, 2024 01:14 7m 45s master
March 1, 2024 01:14 7m 45s
add type defs for THF and TFF
Qodana #36: Commit dff03ed pushed by apease
March 1, 2024 01:14 1m 9s master
March 1, 2024 01:14 1m 9s
pages build and deployment
pages-build-deployment #145: by apease
March 1, 2024 01:14 44s
March 1, 2024 01:14 44s
remove optional universal quantifiers
Java CI #111: Commit 7cb3eb8 pushed by apease
February 27, 2024 21:25 9m 28s master
February 27, 2024 21:25 9m 28s
remove optional universal quantifiers
Qodana #35: Commit 7cb3eb8 pushed by apease
February 27, 2024 21:25 1m 43s master
February 27, 2024 21:25 1m 43s
pages build and deployment
pages-build-deployment #144: by apease
February 27, 2024 21:25 50s
February 27, 2024 21:25 50s
change test
Qodana #34: Commit 85f367b pushed by apease
November 18, 2023 15:17 1m 11s master
November 18, 2023 15:17 1m 11s
change test
Java CI #110: Commit 85f367b pushed by apease
November 18, 2023 15:17 7m 48s master
November 18, 2023 15:17 7m 48s
pages build and deployment
pages-build-deployment #143: by apease
November 18, 2023 15:17 57s
November 18, 2023 15:17 57s
add function to print out terms and documentation
Java CI #109: Commit 2e101e4 pushed by apease
November 18, 2023 04:16 4m 52s master
November 18, 2023 04:16 4m 52s
add function to print out terms and documentation
Qodana #33: Commit 2e101e4 pushed by apease
November 18, 2023 04:16 1m 10s master
November 18, 2023 04:16 1m 10s
pages build and deployment
pages-build-deployment #142: by apease
November 18, 2023 04:16 45s
November 18, 2023 04:16 45s
fix test
Qodana #32: Commit d60d557 pushed by apease
November 13, 2023 00:32 1m 9s master
November 13, 2023 00:32 1m 9s
fix test
Java CI #108: Commit d60d557 pushed by apease
November 13, 2023 00:32 4m 44s master
November 13, 2023 00:32 4m 44s
pages build and deployment
pages-build-deployment #141: by apease
November 13, 2023 00:32 52s
November 13, 2023 00:32 52s
add check for correct number of arguments to 'instance'
Qodana #31: Commit 1ecdd1c pushed by apease
November 13, 2023 00:03 2m 11s master
November 13, 2023 00:03 2m 11s
add check for correct number of arguments to 'instance'
Java CI #107: Commit 1ecdd1c pushed by apease
November 13, 2023 00:03 4m 44s master
November 13, 2023 00:03 4m 44s
pages build and deployment
pages-build-deployment #140: by apease
November 13, 2023 00:03 1m 7s
November 13, 2023 00:03 1m 7s
update Vampire install instructions
Java CI #106: Commit d80c2a3 pushed by apease
September 28, 2023 13:20 13m 51s master
September 28, 2023 13:20 13m 51s
update Vampire install instructions
Qodana #30: Commit d80c2a3 pushed by apease
September 28, 2023 13:20 2m 12s master
September 28, 2023 13:20 2m 12s
pages build and deployment
pages-build-deployment #139: by apease
September 28, 2023 13:20 50s
September 28, 2023 13:20 50s
fix improper reference to OMWordnet in serialization
Qodana #29: Commit e2a066f pushed by apease
September 18, 2023 15:08 1m 35s master
September 18, 2023 15:08 1m 35s
fix improper reference to OMWordnet in serialization
Java CI #105: Commit e2a066f pushed by apease
September 18, 2023 15:08 10m 38s master
September 18, 2023 15:08 10m 38s
pages build and deployment
pages-build-deployment #138: by apease
September 18, 2023 15:08 56s
September 18, 2023 15:08 56s
objenesis tag failing - try updating to v 3.3
Java CI #104: Commit 9c0fc1b pushed by apease
September 17, 2023 06:13 10m 20s master
September 17, 2023 06:13 10m 20s