Skip to content

Actions: mthom/scryer-prolog

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,076 workflow runs
1,076 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Merge pull request #2717 from jasagredo/js/small-doc Docker Publish #608: Commit e01a4cd pushed by mthom
December 21, 2024 01:41 5m 38s master
master
December 21, 2024 01:41 5m 38s
leave variable modules uninstantiated (#2685) Docker Publish #607: Commit 555dff5 pushed by mthom
December 20, 2024 04:20 5m 45s master
master
December 20, 2024 04:20 5m 45s
leave variable modules uninstantiated (#2685) CI #1252: Commit 555dff5 pushed by mthom
December 20, 2024 04:20 28m 42s master
master
December 20, 2024 04:20 28m 42s
Experiment with a macro system inspired by KL1 language. CI #1251: Pull request #2716 synchronize by hurufu
December 19, 2024 14:28 6m 28s hurufu:macros
hurufu:macros
December 19, 2024 14:28 6m 28s
Experiment with a macro system inspired by KL1 language. CI #1250: Pull request #2716 synchronize by hurufu
December 19, 2024 14:08 27m 8s hurufu:macros
hurufu:macros
December 19, 2024 14:08 27m 8s
Experiment with a macro system inspired by KL1 language. CI #1249: Pull request #2716 synchronize by hurufu
December 19, 2024 11:50 23m 25s hurufu:macros
hurufu:macros
December 19, 2024 11:50 23m 25s
Experiment with a macro system inspired by KL1 language. CI #1248: Pull request #2716 synchronize by hurufu
December 19, 2024 11:25 7m 43s hurufu:macros
hurufu:macros
December 19, 2024 11:25 7m 43s
Experiment with a macro system inspired by KL1 language. CI #1247: Pull request #2716 synchronize by hurufu
December 19, 2024 11:06 6m 53s hurufu:macros
hurufu:macros
December 19, 2024 11:06 6m 53s
Experiment with a macro system inspired by KL1 language. CI #1246: Pull request #2716 synchronize by hurufu
December 19, 2024 10:48 9m 21s hurufu:macros
hurufu:macros
December 19, 2024 10:48 9m 21s
Experiment with a macro system inspired by KL1 language. CI #1245: Pull request #2716 synchronize by hurufu
December 18, 2024 22:07 8m 19s hurufu:macros
hurufu:macros
December 18, 2024 22:07 8m 19s
Experiment with a macro system inspired by KL1 language. CI #1244: Pull request #2716 synchronize by hurufu
December 18, 2024 22:04 9m 37s hurufu:macros
hurufu:macros
December 18, 2024 22:04 9m 37s
Experiment with a macro system inspired by KL1 language. CI #1243: Pull request #2716 synchronize by hurufu
December 18, 2024 22:03 9m 35s hurufu:macros
hurufu:macros
December 18, 2024 22:03 9m 35s
CI CI #1242: Scheduled
December 18, 2024 01:14 25m 4s master
master
December 18, 2024 01:14 25m 4s
Ensure max_assoc/3 is shown as documented CI #1241: Pull request #2717 opened by jasagredo
December 18, 2024 00:04 24m 10s jasagredo:js/small-doc
jasagredo:js/small-doc
December 18, 2024 00:04 24m 10s
Experiment with a macro system inspired by KL1 language. CI #1240: Pull request #2716 synchronize by hurufu
December 17, 2024 21:32 9m 32s hurufu:macros
hurufu:macros
December 17, 2024 21:32 9m 32s
Experiment with a macro system inspired by KL1 language. CI #1239: Pull request #2716 synchronize by hurufu
December 17, 2024 21:31 7m 29s hurufu:macros
hurufu:macros
December 17, 2024 21:31 7m 29s