Skip to content

Actions: ontologyportal/sumo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
317 workflow runs
317 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
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
SUMO Scheduled SUMO Scheduled #60: Scheduled
June 22, 2024 08:36 6m 8s master
master
June 22, 2024 08:36 6m 8s
SUMO Scheduled SUMO Scheduled #59: Scheduled
June 15, 2024 08:36 5m 58s master
master
June 15, 2024 08:36 5m 58s
SUMO Scheduled SUMO Scheduled #58: Scheduled
June 8, 2024 08:34 5m 55s master
master
June 8, 2024 08:34 5m 55s
SUMO Scheduled SUMO Scheduled #57: Scheduled
June 1, 2024 08:35 5m 56s master
master
June 1, 2024 08:35 5m 56s
SUMO Scheduled SUMO Scheduled #56: Scheduled
May 25, 2024 08:35 6m 0s master
master
May 25, 2024 08:35 6m 0s
SUMO Scheduled SUMO Scheduled #55: Scheduled
May 18, 2024 08:35 6m 8s master
master
May 18, 2024 08:35 6m 8s
SUMO Scheduled SUMO Scheduled #54: Scheduled
May 11, 2024 08:35 5m 59s master
master
May 11, 2024 08:35 5m 59s
SUMO Scheduled SUMO Scheduled #53: Scheduled
May 4, 2024 08:34 6m 6s master
master
May 4, 2024 08:34 6m 6s
SUMO Scheduled SUMO Scheduled #52: Scheduled
April 27, 2024 08:35 6m 1s master
master
April 27, 2024 08:35 6m 1s
SUMO Scheduled SUMO Scheduled #51: Scheduled
April 20, 2024 08:34 6m 4s master
master
April 20, 2024 08:34 6m 4s
SUMO Scheduled SUMO Scheduled #50: Scheduled
April 13, 2024 08:35 6m 7s master
master
April 13, 2024 08:35 6m 7s
SUMO Scheduled SUMO Scheduled #49: Scheduled
April 6, 2024 08:36 6m 12s master
master
April 6, 2024 08:36 6m 12s
Merge pull request #378 from ontologyportal/J20240403 SUMO DEV CI #236: Commit 917991b pushed by apease
April 5, 2024 01:52 6m 3s master
master
April 5, 2024 01:52 6m 3s
revision on geometricfigures SUMO DEV CI #235: Pull request #378 opened by jenniech
April 4, 2024 00:44 6m 2s J20240403
J20240403
April 4, 2024 00:44 6m 2s
removed comment SUMO DEV CI #234: Commit e285df8 pushed by apease
April 3, 2024 20:29 5m 13s master
master
April 3, 2024 20:29 5m 13s
fix operator precedence SUMO DEV CI #233: Commit e95b6c9 pushed by apease
April 3, 2024 12:23 5m 9s master
master
April 3, 2024 12:23 5m 9s