Skip to content

Actions: ontologyportal/sumo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
236 workflow runs
236 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add relatedInternalConcept links SUMO DEV CI #256: Commit 04229fb pushed by apease
August 1, 2024 03:32 21m 0s master
master
August 1, 2024 03:32 21m 0s
Merge remote-tracking branch 'origin/master' SUMO DEV CI #255: Commit c02dca1 pushed by apease
July 31, 2024 15:17 21m 5s master
master
July 31, 2024 15:17 21m 5s
Merge pull request #383 from ontologyportal/J20240726 SUMO DEV CI #254: Commit d5b0df9 pushed by apease
July 30, 2024 00:07 21m 1s master
master
July 30, 2024 00:07 21m 1s
new transportation terms added SUMO DEV CI #253: Pull request #383 opened by jenniech
July 29, 2024 23:27 20m 58s J20240726
J20240726
July 29, 2024 23:27 20m 58s
SUMO Scheduled SUMO Scheduled #65: Scheduled
July 27, 2024 08:36 4h 36m 20s master
master
July 27, 2024 08:36 4h 36m 20s
Merge pull request #382 from ontologyportal/J20240724 SUMO DEV CI #252: Commit 8652e04 pushed by apease
July 25, 2024 23:59 20m 57s master
master
July 25, 2024 23:59 20m 57s
new definitions and terms added SUMO DEV CI #251: Pull request #382 opened by jenniech
July 25, 2024 22:09 20m 59s J20240724
J20240724
July 25, 2024 22:09 20m 59s
fix typo - wrong arguments to negation SUMO DEV CI #250: Commit 325aa1f pushed by apease
July 25, 2024 04:48 20m 54s master
master
July 25, 2024 04:48 20m 54s
Merge remote-tracking branch 'origin/master' SUMO DEV CI #249: Commit 671992e pushed by apease
July 25, 2024 04:39 6m 4s master
master
July 25, 2024 04:39 6m 4s
Merge pull request #381 from ontologyportal/J20240717 SUMO DEV CI #248: Commit d919506 pushed by apease
July 24, 2024 15:55 5m 56s master
master
July 24, 2024 15:55 5m 56s
new terms added to Transport_2024.kif SUMO DEV CI #247: Pull request #381 opened by jenniech
July 23, 2024 19:47 5m 58s J20240717
J20240717
July 23, 2024 19:47 5m 58s
SUMO Scheduled SUMO Scheduled #64: Scheduled
July 20, 2024 08:35 5m 48s master
master
July 20, 2024 08:35 5m 48s
Merge pull request #380 from ontologyportal/J20240717 SUMO DEV CI #246: Commit 57c3e73 pushed by apease
July 19, 2024 03:37 6m 1s master
master
July 19, 2024 03:37 6m 1s
Renamed to Transport_2024.kif SUMO DEV CI #245: Pull request #380 opened by jenniech
July 19, 2024 03:32 6m 5s J20240717
J20240717
July 19, 2024 03:32 6m 5s
Merge pull request #379 from ontologyportal/J20240406 SUMO DEV CI #244: Commit 2a11650 pushed by apease
July 17, 2024 22:45 5m 58s master
master
July 17, 2024 22:45 5m 58s
add a new kif file plus a few correcctions SUMO DEV CI #243: Pull request #379 opened by jenniech
July 17, 2024 22:22 5m 58s J20240406
J20240406
July 17, 2024 22:22 5m 58s
updated and corrected version from latest translator SUMO DEV CI #242: Commit 6d35700 pushed by apease
July 14, 2024 19:55 5m 52s master
master
July 14, 2024 19:55 5m 52s
SUMO Scheduled SUMO Scheduled #63: Scheduled
July 13, 2024 08:35 5m 50s master
master
July 13, 2024 08:35 5m 50s
fix for use with SUMO as a background knowledge file SUMO DEV CI #241: Commit 06b92a2 pushed by apease
July 11, 2024 22:48 6m 0s master
master
July 11, 2024 22:48 6m 0s
reverse implication as per knows->believes (which is counter-intuitiv… SUMO DEV CI #240: Commit b22b2c9 pushed by apease
July 8, 2024 22:55 5m 58s master
master
July 8, 2024 22:55 5m 58s
new tests for Modals.java and THFnew.java translation to HOL SUMO DEV CI #239: Commit a6a1034 pushed by apease
July 7, 2024 20:26 5m 47s master
master
July 7, 2024 20:26 5m 47s
SUMO Scheduled SUMO Scheduled #62: Scheduled
July 6, 2024 08:36 5m 49s master
master
July 6, 2024 08:36 5m 49s
add version of Merge.kif in THF with Kripke-style modals SUMO DEV CI #238: Commit 70fe2d0 pushed by apease
July 5, 2024 17:26 6m 3s master
master
July 5, 2024 17:26 6m 3s
add some fixes SUMO DEV CI #237: Commit a6b6362 pushed by apease
July 5, 2024 15:34 6m 8s master
master
July 5, 2024 15:34 6m 8s
SUMO Scheduled SUMO Scheduled #61: Scheduled
June 29, 2024 08:36 6m 0s master
master
June 29, 2024 08:36 6m 0s