Skip to content

Actions: mthom/scryer-prolog

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
609 workflow runs
609 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Document when/2 Condition CI #1513: Pull request #2961 opened by rotu
May 18, 2025 21:46 Action required rotu:patch-5
rotu:patch-5
May 18, 2025 21:46 Action required
Move some non-ISO predicates [call/9, error/2, findall/4] out of builtins CI #1512: Pull request #2960 opened by rotu
May 16, 2025 01:45 Action required rotu:local-cobra
rotu:local-cobra
May 16, 2025 01:45 Action required
Document module qualification CI #1511: Pull request #2959 synchronize by rotu
May 15, 2025 23:03 Action required rotu:patch-4
rotu:patch-4
May 15, 2025 23:03 Action required
Document module qualification CI #1510: Pull request #2959 opened by rotu
May 15, 2025 22:41 Action required rotu:patch-4
rotu:patch-4
May 15, 2025 22:41 Action required
Clarify that ISO Prolog means the Prolog General Core CI #1509: Pull request #2958 opened by rotu
May 15, 2025 18:11 Action required rotu:patch-3
rotu:patch-3
May 15, 2025 18:11 Action required
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
Remove xor as a builtin infix operator CI #1507: Pull request #2955 synchronize by rotu
May 14, 2025 01:34 7m 4s rotu:radical-cockroach
rotu:radical-cockroach
May 14, 2025 01:34 7m 4s
CI CI #1506: Scheduled
May 14, 2025 01:20 24m 16s master
master
May 14, 2025 01:20 24m 16s
Update dependencies and fix breaking changes in libffi-sys and arcu CI #1505: Pull request #2956 opened by bakaq
May 13, 2025 23:07 27m 9s bakaq:update_arcu_libffi
bakaq:update_arcu_libffi
May 13, 2025 23:07 27m 9s
Remove xor as a builtin infix operator CI #1504: Pull request #2955 synchronize by rotu
May 13, 2025 21:52 Action required rotu:radical-cockroach
rotu:radical-cockroach
May 13, 2025 21:52 Action required
Remove xor as a builtin infix operator CI #1503: Pull request #2955 opened by rotu
May 13, 2025 20:10 Action required rotu:radical-cockroach
rotu:radical-cockroach
May 13, 2025 20:10 Action required
Document listing/1 CI #1502: Pull request #2929 synchronize by rotu
May 12, 2025 19:25 Action required rotu:patch-2
rotu:patch-2
May 12, 2025 19:25 Action required
fix #2949 CI #1501: Pull request #2951 opened by Skgland
May 9, 2025 22:09 30m 47s Skgland:issue-2949
Skgland:issue-2949
May 9, 2025 22:09 30m 47s
Merge pull request #2950 from triska/meetups Docker Publish #649: Commit 036c59e pushed by mthom
May 9, 2025 05:53 5m 45s master
master
May 9, 2025 05:53 5m 45s
Merge pull request #2950 from triska/meetups CI #1500: Commit 036c59e pushed by mthom
May 9, 2025 05:53 24m 10s master
master
May 9, 2025 05:53 24m 10s
link to Scryer Prolog Meetup 2025 page and its announcement CI #1499: Pull request #2950 opened by triska
May 9, 2025 05:41 24m 0s triska:meetups
triska:meetups
May 9, 2025 05:41 24m 0s
CI CI #1498: Scheduled
May 7, 2025 01:21 24m 17s master
master
May 7, 2025 01:21 24m 17s
make it easier to use Fixnum correctly CI #1497: Pull request #2946 synchronize by Skgland
May 6, 2025 17:51 27m 52s Skgland:safer-fixnum
Skgland:safer-fixnum
May 6, 2025 17:51 27m 52s
make it easier to use Fixnum correctly CI #1496: Pull request #2946 synchronize by Skgland
May 5, 2025 22:15 25m 10s Skgland:safer-fixnum
Skgland:safer-fixnum
May 5, 2025 22:15 25m 10s