Skip to content

Actions: mthom/scryer-prolog

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
630 workflow runs
630 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #2980 from triska/hophrase Docker Publish #655: Commit 686f20d pushed by mthom
June 17, 2025 04:02 5m 2s master
master
June 17, 2025 04:02 5m 2s
Merge pull request #2980 from triska/hophrase CI #1545: Commit 686f20d pushed by mthom
June 17, 2025 04:02 22m 13s master
master
June 17, 2025 04:02 22m 13s
Document some predicates in reif CI #1544: Pull request #2981 synchronize by rotu
June 16, 2025 15:23 22m 28s rotu:patch-7
rotu:patch-7
June 16, 2025 15:23 22m 28s
Document some predicates in reif CI #1543: Pull request #2981 synchronize by rotu
June 16, 2025 06:21 21m 26s rotu:patch-7
rotu:patch-7
June 16, 2025 06:21 21m 26s
Document some predicates in reif CI #1542: Pull request #2981 opened by rotu
June 16, 2025 05:50 23m 13s rotu:patch-7
rotu:patch-7
June 16, 2025 05:50 23m 13s
use nonterminal indicators, correct meta_predicate/1 for higher-order phrase//N CI #1541: Pull request #2980 opened by triska
June 14, 2025 20:49 21m 19s triska:hophrase
triska:hophrase
June 14, 2025 20:49 21m 19s
CI CI #1540: Scheduled
June 11, 2025 01:24 23m 42s master
master
June 11, 2025 01:24 23m 42s
CI CI #1539: Scheduled
June 4, 2025 01:23 20m 46s master
master
June 4, 2025 01:23 20m 46s
Merge pull request #2965 from rotu/zygomorphic-puma CI #1537: Commit f49a0ae pushed by mthom
May 28, 2025 05:18 21m 24s master
master
May 28, 2025 05:18 21m 24s
Merge pull request #2965 from rotu/zygomorphic-puma Docker Publish #654: Commit f49a0ae pushed by mthom
May 28, 2025 05:18 5m 0s master
master
May 28, 2025 05:18 5m 0s
CI CI #1536: Scheduled
May 28, 2025 01:22 21m 43s master
master
May 28, 2025 01:22 21m 43s
Make (mod)/2 stronger in CLP(Z) CI #1534: Pull request #2970 synchronize by notoria
May 25, 2025 11:39 20m 43s notoria:clpz
notoria:clpz
May 25, 2025 11:39 20m 43s
Make (mod)/2 stronger in CLP(Z) CI #1533: Pull request #2970 opened by notoria
May 25, 2025 11:33 7m 14s notoria:clpz
notoria:clpz
May 25, 2025 11:33 7m 14s
rebis-dev: add opt-in concurrency for OffsetTableImpl CI #1520: Pull request #2966 opened by mthom
May 23, 2025 06:46 23m 36s rebis-dev_opt-in-offset-tbl-concurrency
rebis-dev_opt-in-offset-tbl-concurrency
May 23, 2025 06:46 23m 36s
Merge pull request #2955 from rotu/radical-cockroach CI #1519: Commit 8f514ce pushed by mthom
May 23, 2025 06:27 23m 22s master
master
May 23, 2025 06:27 23m 22s
Merge pull request #2955 from rotu/radical-cockroach Docker Publish #653: Commit 8f514ce pushed by mthom
May 23, 2025 06:27 5m 8s master
master
May 23, 2025 06:27 5m 8s
use OffsetTableImpl without synchronization by default CI #1518: Commit ae239d8 pushed by mthom
May 23, 2025 06:26 23m 43s master
master
May 23, 2025 06:26 23m 43s
use OffsetTableImpl without synchronization by default Docker Publish #652: Commit ae239d8 pushed by mthom
May 23, 2025 06:26 6m 24s master
master
May 23, 2025 06:26 6m 24s
Remove obsolete compatibility for Rust<1.80 CI #1517: Pull request #2965 opened by rotu
May 22, 2025 19:01 21m 0s rotu:zygomorphic-puma
rotu:zygomorphic-puma
May 22, 2025 19:01 21m 0s
Don't fail listing/1 if no clauses CI #1516: Pull request #2964 opened by rotu
May 21, 2025 17:36 22m 1s rotu:patch-6
rotu:patch-6
May 21, 2025 17:36 22m 1s
CI CI #1515: Scheduled
May 21, 2025 01:22 21m 45s master
master
May 21, 2025 01:22 21m 45s
Merge pull request #2955 from rotu/radical-cockroach Docker Publish #651: Commit 8f514ce pushed by mthom
May 20, 2025 05:47 4m 57s master
master
May 20, 2025 05:47 4m 57s
Merge pull request #2955 from rotu/radical-cockroach CI #1514: Commit 8f514ce pushed by mthom
May 20, 2025 05:47 23m 22s master
master
May 20, 2025 05:47 23m 22s
Merge pull request #2956 from bakaq/update_arcu_libffi CI #1508: Commit c790bbf pushed by mthom
May 14, 2025 04:26 26m 32s master
master
May 14, 2025 04:26 26m 32s
Merge pull request #2956 from bakaq/update_arcu_libffi Docker Publish #650: Commit c790bbf pushed by mthom
May 14, 2025 04:26 5m 26s master
master
May 14, 2025 04:26 5m 26s