Skip to content

Actions: mthom/scryer-prolog

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
830 workflow runs
830 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #2743 from triska/crypto Docker Publish #613: Commit 2257503 pushed by mthom
January 4, 2025 20:24 5m 26s master
master
January 4, 2025 20:24 5m 26s
Merge pull request #2744 from triska/files CI #1283: Commit 531d482 pushed by mthom
January 4, 2025 20:23 24m 27s master
master
January 4, 2025 20:23 24m 27s
Merge pull request #2744 from triska/files Docker Publish #612: Commit 531d482 pushed by mthom
January 4, 2025 20:23 5m 42s master
master
January 4, 2025 20:23 5m 42s
preliminary support for a subset of quads introduced by @UWN CI #1282: Pull request #2746 synchronize by triska
January 3, 2025 18:36 26m 57s triska:quads
triska:quads
January 3, 2025 18:36 26m 57s
preliminary support for a subset of quads introduced by @UWN CI #1281: Pull request #2746 opened by triska
January 3, 2025 17:47 24m 8s triska:quads
triska:quads
January 3, 2025 17:47 24m 8s
Goal expansion in lib reif CI #1280: Pull request #2433 synchronize by hurufu
January 3, 2025 12:50 25m 59s hurufu:goal_expansion_in_lib_reif
hurufu:goal_expansion_in_lib_reif
January 3, 2025 12:50 25m 59s
Goal expansion in lib reif CI #1279: Pull request #2433 synchronize by hurufu
January 3, 2025 12:37 24m 7s hurufu:goal_expansion_in_lib_reif
hurufu:goal_expansion_in_lib_reif
January 3, 2025 12:37 24m 7s
Goal expansion in lib reif CI #1278: Pull request #2433 synchronize by hurufu
January 3, 2025 09:03 28m 30s hurufu:goal_expansion_in_lib_reif
hurufu:goal_expansion_in_lib_reif
January 3, 2025 09:03 28m 30s
Goal expansion in lib reif CI #1277: Pull request #2433 synchronize by hurufu
January 2, 2025 23:16 30m 50s hurufu:goal_expansion_in_lib_reif
hurufu:goal_expansion_in_lib_reif
January 2, 2025 23:16 30m 50s
state when the predicates are true CI #1276: Pull request #2744 opened by triska
January 2, 2025 17:17 24m 34s triska:files
triska:files
January 2, 2025 17:17 24m 34s
atom --> string CI #1275: Pull request #2743 opened by triska
January 2, 2025 16:52 23m 59s triska:crypto
triska:crypto
January 2, 2025 16:52 23m 59s
Revert "FIXED: CLP(B): Delay BDD restriction until after the instantiation" CI #1274: Pull request #2742 opened by triska
January 2, 2025 16:28 24m 5s triska:clpb
triska:clpb
January 2, 2025 16:28 24m 5s
CI CI #1268: Scheduled
January 1, 2025 01:17 25m 39s master
master
January 1, 2025 01:17 25m 39s
rebis-dev: Improve safety of atom tables and RawBlock CI #1265: Pull request #2727 synchronize by adri326
December 31, 2024 13:05 4m 29s adri326:atom-table-safety
adri326:atom-table-safety
December 31, 2024 13:05 4m 29s
Add tutorial: Let's play Brisca CI #1262: Pull request #2728 synchronize by aarroyoc
December 30, 2024 22:22 24m 32s aarroyoc:lets-play-brisca
aarroyoc:lets-play-brisca
December 30, 2024 22:22 24m 32s
Add tutorial: Let's play Brisca CI #1260: Pull request #2728 opened by aarroyoc
December 29, 2024 23:00 23m 1s aarroyoc:lets-play-brisca
aarroyoc:lets-play-brisca
December 29, 2024 23:00 23m 1s
Merge pull request #2681 from hurufu/remove-dcgs-that-have-failed-to-… CI #1258: Commit d57f871 pushed by mthom
December 25, 2024 21:29 24m 15s master
master
December 25, 2024 21:29 24m 15s
Merge pull request #2681 from hurufu/remove-dcgs-that-have-failed-to-… Docker Publish #611: Commit d57f871 pushed by mthom
December 25, 2024 21:29 5m 34s master
master
December 25, 2024 21:29 5m 34s
qualify module quantification errors better (#2685) CI #1257: Commit afc7b74 pushed by mthom
December 25, 2024 20:25 24m 52s master
master
December 25, 2024 20:25 24m 52s
qualify module quantification errors better (#2685) Docker Publish #610: Commit afc7b74 pushed by mthom
December 25, 2024 20:25 5m 31s master
master
December 25, 2024 20:25 5m 31s
CI CI #1256: Scheduled
December 25, 2024 01:10 26m 9s master
master
December 25, 2024 01:10 26m 9s
Remove DCGs that have thrown an exception during term expansion CI #1255: Pull request #2681 synchronize by hurufu
December 22, 2024 09:38 24m 45s hurufu:remove-dcgs-that-have-failed-to-expand
hurufu:remove-dcgs-that-have-failed-to-expand
December 22, 2024 09:38 24m 45s
Merge pull request #2714 from triska/graphic_token CI #1254: Commit b794383 pushed by mthom
December 21, 2024 01:42 23m 44s master
master
December 21, 2024 01:42 23m 44s
Merge pull request #2714 from triska/graphic_token Docker Publish #609: Commit b794383 pushed by mthom
December 21, 2024 01:42 5m 32s master
master
December 21, 2024 01:42 5m 32s
Merge pull request #2717 from jasagredo/js/small-doc CI #1253: Commit e01a4cd pushed by mthom
December 21, 2024 01:41 24m 13s master
master
December 21, 2024 01:41 24m 13s