Skip to content

Actions: mthom/scryer-prolog

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,373 workflow runs
1,373 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
fix current_predicate/1 (#1761) Docker Publish #127: Commit c5a3ec3 pushed by mthom
April 25, 2023 05:23 13m 15s master
master
April 25, 2023 05:23 13m 15s
Merge pull request #1794 from aarroyoc/uppercase-2 Docker Publish #126: Commit f12a903 pushed by mthom
April 23, 2023 23:08 13m 47s master
master
April 23, 2023 23:08 13m 47s
Merge pull request #1794 from aarroyoc/uppercase-2 CI #41: Commit f12a903 pushed by mthom
April 23, 2023 23:08 26m 56s master
master
April 23, 2023 23:08 26m 56s
Fix to_upper/to_lower when string is instantiated CI #40: Pull request #1794 synchronize by aarroyoc
April 23, 2023 21:01 24m 36s aarroyoc:uppercase-2
aarroyoc:uppercase-2
April 23, 2023 21:01 24m 36s
Merge pull request #1797 from triska/clpb_residuals Docker Publish #125: Commit 402100f pushed by mthom
April 23, 2023 16:31 14m 0s master
master
April 23, 2023 16:31 14m 0s
Merge pull request #1797 from triska/clpb_residuals CI #39: Commit 402100f pushed by mthom
April 23, 2023 16:31 31m 54s master
master
April 23, 2023 16:31 31m 54s
remove residual goal for ground BDD CI #38: Pull request #1797 opened by triska
April 23, 2023 06:59 25m 6s triska:clpb_residuals
triska:clpb_residuals
April 23, 2023 06:59 25m 6s
discard CodeIndex literals from unfolded control operators in preproc… CI #37: Commit 7d2e59a pushed by mthom
April 23, 2023 00:38 25m 41s master
master
April 23, 2023 00:38 25m 41s
discard CodeIndex literals from unfolded control operators in preproc… Docker Publish #124: Commit 7d2e59a pushed by mthom
April 23, 2023 00:38 19m 5s master
master
April 23, 2023 00:38 19m 5s
discard CodeIndex literals from unfolded control operators in preproc… CI #36: Commit e1258a5 pushed by mthom
April 22, 2023 23:36 24m 54s master
master
April 22, 2023 23:36 24m 54s
discard CodeIndex literals from unfolded control operators in preproc… Docker Publish #123: Commit e1258a5 pushed by mthom
April 22, 2023 23:36 12m 45s master
master
April 22, 2023 23:36 12m 45s
Merge pull request #1796 from triska/dif_si CI #35: Commit 198e925 pushed by mthom
April 22, 2023 23:21 24m 41s master
master
April 22, 2023 23:21 24m 41s
Merge pull request #1796 from triska/dif_si Docker Publish #122: Commit 198e925 pushed by mthom
April 22, 2023 23:21 12m 50s master
master
April 22, 2023 23:21 12m 50s
ADDED: dif_si/2 CI #34: Pull request #1796 opened by triska
April 22, 2023 22:14 26m 12s triska:dif_si
triska:dif_si
April 22, 2023 22:14 26m 12s
Merge pull request #1795 from infogulch/fix-ci-install CI #33: Commit 502574d pushed by mthom
April 22, 2023 22:03 24m 30s master
master
April 22, 2023 22:03 24m 30s
Merge pull request #1795 from infogulch/fix-ci-install Docker Publish #121: Commit 502574d pushed by mthom
April 22, 2023 22:03 18m 23s master
master
April 22, 2023 22:03 18m 23s
Use --force to install cargo2junit CI #32: Pull request #1795 opened by infogulch
April 22, 2023 20:43 27m 6s infogulch:fix-ci-install
infogulch:fix-ci-install
April 22, 2023 20:43 27m 6s
Fix to_upper/to_lower when string is instantiated CI #31: Pull request #1794 opened by aarroyoc
April 22, 2023 19:09 1m 31s aarroyoc:uppercase-2
aarroyoc:uppercase-2
April 22, 2023 19:09 1m 31s
Fix to_upper/to_lower when string is instantiated CI #30: Pull request #1792 synchronize by aarroyoc
April 22, 2023 19:06 1m 40s aarroyoc:uppercase
aarroyoc:uppercase
April 22, 2023 19:06 1m 40s
Merge pull request #1793 from infogulch/fix-action-ref Docker Publish #120: Commit f277f66 pushed by mthom
April 22, 2023 17:26 14m 2s master
master
April 22, 2023 17:26 14m 2s
Merge pull request #1793 from infogulch/fix-action-ref CI #29: Commit f277f66 pushed by mthom
April 22, 2023 17:26 41m 5s master
master
April 22, 2023 17:26 41m 5s
Change ref for publish-unit-test-result-action CI #28: Pull request #1793 opened by infogulch
April 22, 2023 15:23 37m 58s infogulch:fix-action-ref
infogulch:fix-action-ref
April 22, 2023 15:23 37m 58s
Fix to_upper/to_lower when string is instantiated CI #27: Pull request #1792 opened by aarroyoc
April 22, 2023 08:57 15s aarroyoc:uppercase
aarroyoc:uppercase
April 22, 2023 08:57 15s
ProTip! You can narrow down the results and go further in time using created:<2023-04-22 or the other filters available.