Skip to content

Actions: triska/scryer-prolog

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
38 workflow runs
38 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #46: Scheduled
January 10, 2024 00:14 28m 33s master
master
January 10, 2024 00:14 28m 33s
Correct arithmetic inequalities accidentally broken in f5d9a67f3688ec… Docker Publish #13: Commit 2f783f0 pushed by triska
January 7, 2024 08:34 16s master
master
January 7, 2024 08:34 16s
Correct arithmetic inequalities accidentally broken in f5d9a67f3688ec… CI #45: Commit 2f783f0 pushed by triska
January 7, 2024 08:34 27m 26s master
master
January 7, 2024 08:34 27m 26s
Correct arithmetic disequalities accidentally broken in f5d9a67f3688e… CI #44: Commit ec9e152 pushed by triska
January 7, 2024 08:31 30m 5s master
master
January 7, 2024 08:31 30m 5s
Correct arithmetic disequalities accidentally broken in f5d9a67f3688e… Docker Publish #12: Commit ec9e152 pushed by triska
January 7, 2024 08:31 15s master
master
January 7, 2024 08:31 15s
Prevent assertion of clauses for (-->)/2 when DCGs are enabled. CI #43: Commit f2b63d1 pushed by triska
January 5, 2024 17:50 31m 14s master
master
January 5, 2024 17:50 31m 14s
Prevent assertion of clauses for (-->)/2 when DCGs are enabled. Docker Publish #11: Commit f2b63d1 pushed by triska
January 5, 2024 17:50 24s master
master
January 5, 2024 17:50 24s
CI CI #42: Scheduled
January 3, 2024 00:14 2m 11s master
master
January 3, 2024 00:14 2m 11s
CI CI #41: Scheduled
December 27, 2023 00:14 2m 9s master
master
December 27, 2023 00:14 2m 9s
CI CI #40: Scheduled
December 20, 2023 00:12 2m 8s master
master
December 20, 2023 00:12 2m 8s
use builtins:variant/2 Test #234: Commit e676571 pushed by triska
December 18, 2023 22:07 2m 55s diadem
diadem
December 18, 2023 22:07 2m 55s
CI CI #39: Scheduled
December 13, 2023 00:14 2m 14s master
master
December 13, 2023 00:14 2m 14s
CI CI #38: Scheduled
December 6, 2023 00:14 53s master
master
December 6, 2023 00:14 53s