Skip to content

Actions: ontologyportal/sumo

Actions

SUMO DEV CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sumo-dev-cycle.yml
148 workflow runs
148 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
Continuing work on Useful-terms_2023.kif and a few fixes applied to o… SUMO DEV CI #186: Pull request #371 opened by jenniech
November 15, 2023 21:38 6m 7s J20231109
J20231109
November 15, 2023 21:38 6m 7s
Merge remote-tracking branch 'refs/remotes/origin/master' SUMO DEV CI #185: Commit b2e5da4 pushed by apease
November 14, 2023 04:35 8m 8s master
master
November 14, 2023 04:35 8m 8s
Merge pull request #370 from ontologyportal/J20231106 SUMO DEV CI #184: Commit de8bdd1 pushed by apease
November 9, 2023 14:09 7m 37s master
master
November 9, 2023 14:09 7m 37s
added new terms to Useful-term_2023.kif SUMO DEV CI #183: Pull request #370 opened by jenniech
November 8, 2023 19:46 9m 36s J20231106
J20231106
November 8, 2023 19:46 9m 36s
appears to work SUMO DEV CI #182: Commit f8eff53 pushed by apease
November 7, 2023 17:45 5m 59s master
master
November 7, 2023 17:45 5m 59s
non-working sketch of a complicated multi-modal problem in first order SUMO DEV CI #181: Commit 3b63cd6 pushed by apease
November 7, 2023 17:29 6m 17s master
master
November 7, 2023 17:29 6m 17s
Merge remote-tracking branch 'refs/remotes/origin/master' SUMO DEV CI #180: Commit 8e429ba pushed by apease
November 6, 2023 01:27 9m 4s master
master
November 6, 2023 01:27 9m 4s
Merge pull request #369 from ontologyportal/J20231030 SUMO DEV CI #179: Commit d79555a pushed by apease
November 5, 2023 18:16 7m 32s master
master
November 5, 2023 18:16 7m 32s
new terms added to useful-terms_2023.kif SUMO DEV CI #178: Pull request #369 opened by jenniech
November 4, 2023 03:18 6m 12s J20231030
J20231030
November 4, 2023 03:18 6m 12s
Merge pull request #368 from ontologyportal/J20231015 SUMO DEV CI #177: Commit 6d33f87 pushed by apease
October 27, 2023 18:08 8m 3s master
master
October 27, 2023 18:08 8m 3s
added a new kif file in development directory SUMO DEV CI #176: Pull request #368 opened by jenniech
October 27, 2023 17:02 8m 18s J20231015
J20231015
October 27, 2023 17:02 8m 18s
fix type conflicts SUMO DEV CI #175: Commit af855f0 pushed by apease
October 22, 2023 03:17 7m 38s master
master
October 22, 2023 03:17 7m 38s
fix type conflicts SUMO DEV CI #174: Commit b64852d pushed by apease
October 21, 2023 04:08 9m 7s master
master
October 21, 2023 04:08 9m 7s
fix illegal character for TFF in SUMO term names SUMO DEV CI #173: Commit d0cd1a8 pushed by apease
October 20, 2023 16:48 8m 21s master
master
October 20, 2023 16:48 8m 21s
fix illegal character for TFF in SUMO term names SUMO DEV CI #172: Commit 00a89b2 pushed by apease
October 20, 2023 15:46 7m 32s master
master
October 20, 2023 15:46 7m 32s
ideas about lists and list inferences SUMO DEV CI #171: Commit 2248f72 pushed by apease
October 18, 2023 23:22 10m 16s master
master
October 18, 2023 23:22 10m 16s
Merge remote-tracking branch 'refs/remotes/origin/master' SUMO DEV CI #170: Commit a9d9ad5 pushed by apease
October 18, 2023 17:04 9m 55s master
master
October 18, 2023 17:04 9m 55s
Merge pull request #367 from ontologyportal/J20230918 SUMO DEV CI #169: Commit 4fcd498 pushed by apease
October 14, 2023 00:57 7m 47s master
master
October 14, 2023 00:57 7m 47s
new terms created in cell biology related to WheatGrass SUMO DEV CI #168: Pull request #367 synchronize by apease
October 14, 2023 00:21 8m 59s J20230918
J20230918
October 14, 2023 00:21 8m 59s
fix use of Process rather than WhenFn of Process SUMO DEV CI #167: Commit a31d656 pushed by apease
October 10, 2023 03:48 24m 11s master
master
October 10, 2023 03:48 24m 11s