Skip to content

Actions: ontologyportal/sumo

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
208 workflow runs
208 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #381 from ontologyportal/J20240717
SUMO DEV CI #248: Commit d919506 pushed by apease
July 24, 2024 15:55 5m 56s 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
July 23, 2024 19:47 5m 58s
SUMO Scheduled
SUMO Scheduled #64: Scheduled
July 20, 2024 08:35 5m 48s 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
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
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
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
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
July 14, 2024 19:55 5m 52s
SUMO Scheduled
SUMO Scheduled #63: Scheduled
July 13, 2024 08:35 5m 50s 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
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
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
July 7, 2024 20:26 5m 47s
SUMO Scheduled
SUMO Scheduled #62: Scheduled
July 6, 2024 08:36 5m 49s 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
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
July 5, 2024 15:34 6m 8s
SUMO Scheduled
SUMO Scheduled #61: Scheduled
June 29, 2024 08:36 6m 0s master
June 29, 2024 08:36 6m 0s
SUMO Scheduled
SUMO Scheduled #60: Scheduled
June 22, 2024 08:36 6m 8s master
June 22, 2024 08:36 6m 8s
SUMO Scheduled
SUMO Scheduled #59: Scheduled
June 15, 2024 08:36 5m 58s master
June 15, 2024 08:36 5m 58s
SUMO Scheduled
SUMO Scheduled #58: Scheduled
June 8, 2024 08:34 5m 55s master
June 8, 2024 08:34 5m 55s
SUMO Scheduled
SUMO Scheduled #57: Scheduled
June 1, 2024 08:35 5m 56s master
June 1, 2024 08:35 5m 56s
SUMO Scheduled
SUMO Scheduled #56: Scheduled
May 25, 2024 08:35 6m 0s master
May 25, 2024 08:35 6m 0s
SUMO Scheduled
SUMO Scheduled #55: Scheduled
May 18, 2024 08:35 6m 8s master
May 18, 2024 08:35 6m 8s
SUMO Scheduled
SUMO Scheduled #54: Scheduled
May 11, 2024 08:35 5m 59s master
May 11, 2024 08:35 5m 59s
SUMO Scheduled
SUMO Scheduled #53: Scheduled
May 4, 2024 08:34 6m 6s master
May 4, 2024 08:34 6m 6s
SUMO Scheduled
SUMO Scheduled #52: Scheduled
April 27, 2024 08:35 6m 1s master
April 27, 2024 08:35 6m 1s