Skip to content

Actions: ontologyportal/sigmakee

Actions

Java CI with Ant / Build sumo-ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ant.yml
194 workflow runs
194 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Minor edits Java CI with Ant / Build sumo-ci #204: Pull request #144 synchronize by terry-norbraten
November 26, 2024 03:24 44s terry-norbraten:master
terry-norbraten:master
November 26, 2024 03:24 44s
Minor edits Java CI with Ant / Build sumo-ci #203: Pull request #144 opened by terry-norbraten
November 26, 2024 02:52 53s terry-norbraten:master
terry-norbraten:master
November 26, 2024 02:52 53s
more work on simpPara(), added replaceSkolems() Java CI with Ant / Build sumo-ci #202: Commit 4ba4f9b pushed by apease
November 24, 2024 22:10 5m 43s master
master
November 24, 2024 22:10 5m 43s
add methods to support natural language paraphrasing of proofs. More… Java CI with Ant / Build sumo-ci #201: Commit 10cee96 pushed by apease
November 23, 2024 23:41 7m 15s master
master
November 23, 2024 23:41 7m 15s
Merge remote-tracking branch 'refs/remotes/origin/master' Java CI with Ant / Build sumo-ci #200: Commit c931bf7 pushed by apease
November 23, 2024 05:33 7m 14s master
master
November 23, 2024 05:33 7m 14s
Merge pull request #143 from terry-norbraten/master Java CI with Ant / Build sumo-ci #199: Commit f2bc9db pushed by apease
November 22, 2024 23:25 7m 30s master
master
November 22, 2024 23:25 7m 30s
Incorporate building of vampire w/ z3 in the install task. Java CI with Ant / Build sumo-ci #198: Pull request #143 opened by terry-norbraten
November 22, 2024 20:11 7m 21s terry-norbraten:master
terry-norbraten:master
November 22, 2024 20:11 7m 21s
provide command line entry point Java CI with Ant / Build sumo-ci #197: Commit 938dc19 pushed by apease
November 22, 2024 16:15 7m 25s master
master
November 22, 2024 16:15 7m 25s
Merge remote-tracking branch 'refs/remotes/origin/master' Java CI with Ant / Build sumo-ci #196: Commit 7614f61 pushed by apease
November 22, 2024 05:30 5m 57s master
master
November 22, 2024 05:30 5m 57s
Merge pull request #142 from terry-norbraten/master Java CI with Ant / Build sumo-ci #195: Commit d9da747 pushed by apease
November 17, 2024 04:17 5m 35s master
master
November 17, 2024 04:17 5m 35s
Ant Install task Java CI with Ant / Build sumo-ci #194: Pull request #142 opened by terry-norbraten
November 17, 2024 04:10 5m 52s terry-norbraten:master
terry-norbraten:master
November 17, 2024 04:10 5m 52s
Merge pull request #141 from ontologyportal/epachamo-patch-6 Java CI with Ant / Build sumo-ci #193: Commit 8086987 pushed by apease
November 15, 2024 04:48 6m 43s master
master
November 15, 2024 04:48 6m 43s
Update README.md Java CI with Ant / Build sumo-ci #192: Pull request #141 opened by epachamo
November 14, 2024 20:52 5m 39s epachamo-patch-6
epachamo-patch-6
November 14, 2024 20:52 5m 39s
Merge pull request #140 from ontologyportal/epachamo-patch-5 Java CI with Ant / Build sumo-ci #191: Commit 6c628df pushed by apease
November 14, 2024 17:16 6m 14s master
master
November 14, 2024 17:16 6m 14s
Update README.md Java CI with Ant / Build sumo-ci #190: Pull request #140 opened by epachamo
November 14, 2024 17:10 5m 56s epachamo-patch-5
epachamo-patch-5
November 14, 2024 17:10 5m 56s
Update README.md Java CI with Ant / Build sumo-ci #189: Pull request #139 opened by epachamo
November 14, 2024 06:48 6m 19s epachamo-patch-4
epachamo-patch-4
November 14, 2024 06:48 6m 19s
Merge pull request #138 from terry-norbraten/master Java CI with Ant / Build sumo-ci #188: Commit 17c3989 pushed by apease
November 10, 2024 17:45 5m 57s master
master
November 10, 2024 17:45 5m 57s
Minor updates of config & project prop. files Java CI with Ant / Build sumo-ci #187: Pull request #138 opened by terry-norbraten
November 10, 2024 17:22 6m 17s terry-norbraten:master
terry-norbraten:master
November 10, 2024 17:22 6m 17s
Merge pull request #137 from terry-norbraten/master Java CI with Ant / Build sumo-ci #186: Commit 0b65bea pushed by apease
November 9, 2024 15:40 6m 24s master
master
November 9, 2024 15:40 6m 24s
Update ReadMe and other build/install/run props Java CI with Ant / Build sumo-ci #185: Pull request #137 opened by terry-norbraten
November 9, 2024 06:24 6m 2s terry-norbraten:master
terry-norbraten:master
November 9, 2024 06:24 6m 2s
Delete suo-kif.fodt Java CI with Ant / Build sumo-ci #184: Commit a33375c pushed by apease
November 5, 2024 15:31 5m 55s master
master
November 5, 2024 15:31 5m 55s
Merge pull request #136 from terry-norbraten/master Java CI with Ant / Build sumo-ci #183: Commit 8e378fa pushed by apease
November 3, 2024 14:25 5m 44s master
master
November 3, 2024 14:25 5m 44s
2 bug fixes Java CI with Ant / Build sumo-ci #182: Pull request #136 opened by terry-norbraten
November 3, 2024 06:14 5m 39s terry-norbraten:master
terry-norbraten:master
November 3, 2024 06:14 5m 39s
print out errors in isValidFormula only when debugging Java CI with Ant / Build sumo-ci #181: Commit 5566091 pushed by apease
November 3, 2024 03:32 7m 5s master
master
November 3, 2024 03:32 7m 5s
Merge remote-tracking branch 'refs/remotes/origin/master' Java CI with Ant / Build sumo-ci #180: Commit 1acbee8 pushed by apease
November 2, 2024 22:32 6m 32s master
master
November 2, 2024 22:32 6m 32s