Skip to content

Actions: ontologyportal/sumo

Actions

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

SUMO Scheduled SUMO Scheduled #34: Scheduled
December 23, 2023 08:36 5m 53s master
master
December 23, 2023 08:36 5m 53s
Merge pull request #374 from ontologyportal/J20231212 SUMO DEV CI #205: Commit b5ce4df pushed by apease
December 20, 2023 00:52 5m 58s master
master
December 20, 2023 00:52 5m 58s
added axiom to Laser and a few revision SUMO DEV CI #204: Pull request #374 synchronize by jenniech
December 20, 2023 00:28 6m 5s J20231212
J20231212
December 20, 2023 00:28 6m 5s
added axiom to Laser and a few revision SUMO DEV CI #203: Pull request #374 opened by jenniech
December 19, 2023 23:53 5m 58s J20231212
J20231212
December 19, 2023 23:53 5m 58s
define QuantityChange SUMO DEV CI #202: Commit 31b62e6 pushed by apease
December 19, 2023 01:11 6m 0s master
master
December 19, 2023 01:11 6m 0s
fix axioms for Increasing and Decreasing SUMO DEV CI #201: Commit 1dff843 pushed by apease
December 19, 2023 01:01 6m 1s master
master
December 19, 2023 01:01 6m 1s
Delete tests/TPTP/SUMOMILODomains.tff SUMO DEV CI #200: Commit 948d0b7 pushed by apease
December 19, 2023 00:52 6m 3s master
master
December 19, 2023 00:52 6m 3s
Delete tests/TPTP/SUMOMILODomains.tptp SUMO DEV CI #199: Commit e0a4384 pushed by apease
December 19, 2023 00:51 5m 58s master
master
December 19, 2023 00:51 5m 58s
new working version of TQM6 SUMO DEV CI #198: Commit 36e60e1 pushed by apease
December 18, 2023 17:17 6m 17s master
master
December 18, 2023 17:17 6m 17s
SUMO Scheduled SUMO Scheduled #33: Scheduled
December 16, 2023 08:34 5m 57s master
master
December 16, 2023 08:34 5m 57s
Merge remote-tracking branch 'refs/remotes/origin/master' SUMO DEV CI #197: Commit 51566fd pushed by apease
December 12, 2023 18:29 6m 4s master
master
December 12, 2023 18:29 6m 4s
SUMO Scheduled SUMO Scheduled #32: Scheduled
December 9, 2023 08:35 5m 54s master
master
December 9, 2023 08:35 5m 54s
Merge pull request #372 from ontologyportal/J20231115 SUMO DEV CI #196: Commit 0f4782e pushed by apease
December 8, 2023 23:21 5m 52s master
master
December 8, 2023 23:21 5m 52s
continueing work on robotic and deleted MechanicalDevice SUMO DEV CI #195: Pull request #372 synchronize by jenniech
December 7, 2023 23:24 6m 2s J20231115
J20231115
December 7, 2023 23:24 6m 2s
continueing work on robotic and deleted MechanicalDevice SUMO DEV CI #194: Pull request #372 opened by jenniech
December 7, 2023 22:33 6m 5s J20231115
J20231115
December 7, 2023 22:33 6m 5s
fix translation SUMO DEV CI #193: Commit 916f47a pushed by apease
December 5, 2023 04:21 6m 5s master
master
December 5, 2023 04:21 6m 5s
modifications to get closer to a solution SUMO DEV CI #192: Commit eae30a8 pushed by apease
December 5, 2023 04:20 6m 1s master
master
December 5, 2023 04:20 6m 1s
SUMO Scheduled SUMO Scheduled #31: Scheduled
December 2, 2023 08:35 5m 59s master
master
December 2, 2023 08:35 5m 59s
SUMO Scheduled SUMO Scheduled #30: Scheduled
November 25, 2023 08:35 5m 56s master
master
November 25, 2023 08:35 5m 56s
add parentheses to support E's more strict parser SUMO DEV CI #191: Commit b764951 pushed by apease
November 24, 2023 18:08 6m 0s master
master
November 24, 2023 18:08 6m 0s
fix incomplete axiom SUMO DEV CI #190: Commit 55ebcc2 pushed by apease
November 18, 2023 15:24 5m 53s master
master
November 18, 2023 15:24 5m 53s
fix extra paren SUMO DEV CI #189: Commit 4276830 pushed by apease
November 18, 2023 15:21 5m 57s master
master
November 18, 2023 15:21 5m 57s
Merge remote-tracking branch 'refs/remotes/origin/master' SUMO DEV CI #188: Commit 2039435 pushed by apease
November 18, 2023 15:19 5m 52s master
master
November 18, 2023 15:19 5m 52s
SUMO Scheduled SUMO Scheduled #29: Scheduled
November 18, 2023 08:34 5m 56s master
master
November 18, 2023 08:34 5m 56s
Merge pull request #371 from ontologyportal/J20231109 SUMO DEV CI #187: Commit 2c7d659 pushed by apease
November 15, 2023 23:15 6m 7s master
master
November 15, 2023 23:15 6m 7s