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

Merge pull request #2905 from bakaq/bump-msrv CI #1472: Commit f179374 pushed by mthom
April 23, 2025 05:28 22m 47s master
master
April 23, 2025 05:28 22m 47s
Merge pull request #2905 from bakaq/bump-msrv Docker Publish #644: Commit f179374 pushed by mthom
April 23, 2025 05:28 5m 25s master
master
April 23, 2025 05:28 5m 25s
CI CI #1471: Scheduled
April 23, 2025 01:18 17m 6s master
master
April 23, 2025 01:18 17m 6s
Bump MSRV and update flake.lock CI #1470: Pull request #2905 synchronize by bakaq
April 22, 2025 21:22 24m 1s bakaq:bump-msrv
bakaq:bump-msrv
April 22, 2025 21:22 24m 1s
Bump MSRV and update flake.lock CI #1469: Pull request #2905 synchronize by bakaq
April 22, 2025 21:02 17m 5s bakaq:bump-msrv
bakaq:bump-msrv
April 22, 2025 21:02 17m 5s
Bump MSRV and update flake.lock CI #1468: Pull request #2905 synchronize by bakaq
April 22, 2025 20:41 17m 44s bakaq:bump-msrv
bakaq:bump-msrv
April 22, 2025 20:41 17m 44s
Bump MSRV and update flake.lock CI #1467: Pull request #2905 opened by bakaq
April 22, 2025 20:30 16m 49s bakaq:bump-msrv
bakaq:bump-msrv
April 22, 2025 20:30 16m 49s
Merge pull request #2895 from hakujin/master Docker Publish #643: Commit 78fec46 pushed by mthom
April 22, 2025 05:11 5m 31s master
master
April 22, 2025 05:11 5m 31s
Merge pull request #2895 from hakujin/master CI #1466: Commit 78fec46 pushed by mthom
April 22, 2025 05:11 20m 26s master
master
April 22, 2025 05:11 20m 26s
Improvements to predicate_property/2 CI #1465: Pull request #2902 opened by triska
April 21, 2025 19:03 24m 30s triska:predicate_property
triska:predicate_property
April 21, 2025 19:03 24m 30s
Update http_server.pl CI #1464: Pull request #2901 synchronize by matteob8
April 21, 2025 18:54 17m 45s matteob8:patch-1
matteob8:patch-1
April 21, 2025 18:54 17m 45s
ENHANCED: dedicated faster branches for repositionable streams CI #1461: Pull request #2892 opened by triska
April 17, 2025 20:21 23m 42s triska:faster_repositionable_streams
triska:faster_repositionable_streams
April 17, 2025 20:21 23m 42s
CI CI #1460: Scheduled
April 16, 2025 01:19 17m 10s master
master
April 16, 2025 01:19 17m 10s
Merge pull request #2873 from constraintAutomaton/doc/update-readme-w… Docker Publish #642: Commit d18ef52 pushed by mthom
April 13, 2025 04:09 5m 36s master
master
April 13, 2025 04:09 5m 36s
Merge pull request #2873 from constraintAutomaton/doc/update-readme-w… CI #1459: Commit d18ef52 pushed by mthom
April 13, 2025 04:09 20m 10s master
master
April 13, 2025 04:09 20m 10s
Merge pull request #2879 from triska/ad4m CI #1458: Commit 925921e pushed by mthom
April 13, 2025 04:09 18m 29s master
master
April 13, 2025 04:09 18m 29s
Merge pull request #2879 from triska/ad4m Docker Publish #641: Commit 925921e pushed by mthom
April 13, 2025 04:09 5m 33s master
master
April 13, 2025 04:09 5m 33s
mark done item CI #1457: Pull request #2884 opened by triska
April 12, 2025 20:56 23m 43s triska:heap_atoms_done
triska:heap_atoms_done
April 12, 2025 20:56 23m 43s
enumerate applications, add AD4M by @coasys CI #1456: Pull request #2879 opened by triska
April 12, 2025 07:08 16m 53s triska:ad4m
triska:ad4m
April 12, 2025 07:08 16m 53s
update of the WebAssembly example in README CI #1455: Pull request #2873 synchronize by constraintAutomaton
April 12, 2025 05:18 17m 54s constraintAutomaton:doc/update-readme-wasm-example
constraintAutomaton:doc/update-readme-wasm-example
April 12, 2025 05:18 17m 54s
Merge pull request #2875 from constraintAutomaton/feature/wasm-result… CI #1454: Commit 2c80412 pushed by mthom
April 12, 2025 03:52 16m 55s master
master
April 12, 2025 03:52 16m 55s
Merge pull request #2875 from constraintAutomaton/feature/wasm-result… Docker Publish #640: Commit 2c80412 pushed by mthom
April 12, 2025 03:52 5m 25s master
master
April 12, 2025 03:52 5m 25s
mark cyclic lists with ellipses at the head (#2635) CI #1453: Commit 1b22c89 pushed by mthom
April 11, 2025 05:41 17m 23s master
master
April 11, 2025 05:41 17m 23s
mark cyclic lists with ellipses at the head (#2635) Docker Publish #639: Commit 1b22c89 pushed by mthom
April 11, 2025 05:41 5m 35s master
master
April 11, 2025 05:41 5m 35s
Merge pull request #2874 from triska/read_from_chars_instantiated Docker Publish #638: Commit 8558bd2 pushed by mthom
April 10, 2025 15:47 5m 49s master
master
April 10, 2025 15:47 5m 49s