Skip to content

Actions: sneeuwballen/zipperposition

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
26 workflow runs
26 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bug fix
build #552: Commit 050072e pushed by c-cube
February 8, 2024 16:01 3m 59s master
February 8, 2024 16:01 3m 59s
detail in CI
build #551: Commit a22e976 pushed by c-cube
February 8, 2024 15:23 7m 20s master
February 8, 2024 15:23 7m 20s
Try paper's examples: 2/8 pass.
build #548: Commit 08638ec pushed by 0function
December 15, 2023 19:58 6m 43s work-in-progress-indexed-sums
December 15, 2023 19:58 6m 43s
faster CI
build #547: Commit 2889c1f pushed by c-cube
December 7, 2023 05:27 7m 11s master
December 7, 2023 05:27 7m 11s
remove ccshims
build #546: Commit 1629df3 pushed by c-cube
December 7, 2023 05:27 8m 45s master
December 7, 2023 05:27 8m 45s
Avoid "-" in TSTP variable names
build #545: Commit 7ea2a18 pushed by abentkamp
November 14, 2023 20:21 6m 57s master
November 14, 2023 20:21 6m 57s
Turn predicate elimination output into debug msgs
build #544: Commit 0c92b3c pushed by abentkamp
November 8, 2023 15:46 13m 21s master
November 8, 2023 15:46 13m 21s
fix: Comment "logic: "
build #543: Pull request #98 opened by PratherConid
November 8, 2023 15:17 10m 57s PratherConid:master
November 8, 2023 15:17 10m 57s
clarify types in TPTP output
build #542: Commit 2874956 pushed by abentkamp
November 2, 2023 20:55 9m 34s tptp-output
November 2, 2023 20:55 9m 34s
adapt zipperposition to deprecated functions/modules (CCArray.create,…
build #540: Commit c04d9df pushed by c-cube
October 30, 2023 14:17 10m 13s master
October 30, 2023 14:17 10m 13s
Fix mtime oseq
build #539: Pull request #97 synchronize by quicquid
October 30, 2023 14:03 8m 39s quicquid:fix-mtime_oseq
October 30, 2023 14:03 8m 39s
modify CI params
build #538: Commit c7017d6 pushed by c-cube
October 30, 2023 13:53 11m 16s master
October 30, 2023 13:53 11m 16s
Fix mtime oseq
build #537: Pull request #97 opened by quicquid
October 30, 2023 11:40 7m 38s quicquid:fix-mtime_oseq
October 30, 2023 11:40 7m 38s
portfolio script bug fix
build #536: Pull request #96 opened by PratherConid
October 2, 2023 08:51 13m 5s master
October 2, 2023 08:51 13m 5s
Merge pull request #96 from PratherConid/master
build #535: Commit 5361350 pushed by abentkamp
October 2, 2023 08:46 18m 34s master
October 2, 2023 08:46 18m 34s
Fix dynamic debug type tests.
build #534: Commit a0d6654 pushed by 0function
August 8, 2023 18:05 5m 36s work-in-progress-indexed-sums
August 8, 2023 18:05 5m 36s