Skip to content

Actions: mthom/scryer-prolog

Actions

All workflows

Actions

Loading...
Loading

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

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Automate ISO syntax conformity tests CI #117: Pull request #1850 synchronize by mthom
June 29, 2023 21:01 25m 42s iso-conformity-tests
iso-conformity-tests
June 29, 2023 21:01 25m 42s
Automate ISO syntax conformity tests CI #116: Pull request #1850 synchronize by mthom
June 29, 2023 21:00 22m 19s iso-conformity-tests
iso-conformity-tests
June 29, 2023 21:00 22m 19s
fix ReadlineStream peek_char using CharReader Docker Publish #167: Commit bb09de1 pushed by mthom
June 29, 2023 20:59 14m 37s master
master
June 29, 2023 20:59 14m 37s
fix ReadlineStream peek_char using CharReader CI #115: Commit bb09de1 pushed by mthom
June 29, 2023 20:59 27m 19s master
master
June 29, 2023 20:59 27m 19s
read the cell written to by mark_var when needed in compile_is (#1846) Docker Publish #166: Commit a6a0cef pushed by mthom
June 29, 2023 18:58 13m 40s master
master
June 29, 2023 18:58 13m 40s
read the cell written to by mark_var when needed in compile_is (#1846) CI #114: Commit a6a0cef pushed by mthom
June 29, 2023 18:58 27m 8s master
master
June 29, 2023 18:58 27m 8s
Automate ISO syntax conformity tests CI #113: Pull request #1850 opened by mthom
June 29, 2023 18:22 27m 11s iso-conformity-tests
iso-conformity-tests
June 29, 2023 18:22 27m 11s
introduce CutPoint heap tag so that they can be offset by call_contin… Docker Publish #165: Commit c36bd4d pushed by mthom
June 29, 2023 18:21 17m 46s master
master
June 29, 2023 18:21 17m 46s
introduce CutPoint heap tag so that they can be offset by call_contin… CI #112: Commit c36bd4d pushed by mthom
June 29, 2023 18:21 26m 1s master
master
June 29, 2023 18:21 26m 1s
Merge pull request #1849 from triska/showterm Docker Publish #164: Commit 83f352b pushed by mthom
June 29, 2023 18:11 15m 37s master
master
June 29, 2023 18:11 15m 37s
Merge pull request #1849 from triska/showterm CI #111: Commit 83f352b pushed by mthom
June 29, 2023 18:11 25m 41s master
master
June 29, 2023 18:11 25m 41s
remove unneeded single quotes CI #110: Pull request #1849 opened by triska
June 29, 2023 17:23 1h 5m 12s triska:showterm
triska:showterm
June 29, 2023 17:23 1h 5m 12s
correct and generalize current_predicate/1 Docker Publish #163: Commit 58af615 pushed by mthom
June 28, 2023 23:31 12m 57s master
master
June 28, 2023 23:31 12m 57s
correct and generalize current_predicate/1 CI #109: Commit 58af615 pushed by mthom
June 28, 2023 23:31 26m 49s master
master
June 28, 2023 23:31 26m 49s
CI CI #108: Scheduled
June 28, 2023 01:19 29m 34s master
master
June 28, 2023 01:19 29m 34s
unify stack variables to streams in unify_constant (#1845) Docker Publish #162: Commit c4b13a2 pushed by mthom
June 27, 2023 23:35 16m 24s master
master
June 27, 2023 23:35 16m 24s
unify stack variables to streams in unify_constant (#1845) CI #107: Commit c4b13a2 pushed by mthom
June 27, 2023 23:35 26m 37s master
master
June 27, 2023 23:35 26m 37s
better detect syntax errors in lexer.rs (#1771) Docker Publish #161: Commit 039fffb pushed by mthom
June 27, 2023 22:39 17m 18s master
master
June 27, 2023 22:39 17m 18s
better detect syntax errors in lexer.rs (#1771) CI #106: Commit 039fffb pushed by mthom
June 27, 2023 22:39 22m 53s master
master
June 27, 2023 22:39 22m 53s
Merge pull request #1844 from triska/copy_term_nat CI #105: Commit 8613513 pushed by mthom
June 27, 2023 21:26 25m 7s master
master
June 27, 2023 21:26 25m 7s
Merge pull request #1844 from triska/copy_term_nat Docker Publish #160: Commit 8613513 pushed by mthom
June 27, 2023 21:26 13m 38s master
master
June 27, 2023 21:26 13m 38s
use copy_term_nat/2 CI #104: Pull request #1844 opened by triska
June 27, 2023 20:43 22m 45s triska:copy_term_nat
triska:copy_term_nat
June 27, 2023 20:43 22m 45s
enable unification of streams to alias atoms (#1823) Docker Publish #159: Commit 16f281e pushed by mthom
June 27, 2023 18:23 14m 23s master
master
June 27, 2023 18:23 14m 23s
enable unification of streams to alias atoms (#1823) CI #103: Commit 16f281e pushed by mthom
June 27, 2023 18:23 29m 27s master
master
June 27, 2023 18:23 29m 27s
support module resolution in current_predicate/1 (#1817) CI #102: Commit b593fff pushed by mthom
June 27, 2023 17:17 23m 47s master
master
June 27, 2023 17:17 23m 47s
ProTip! You can narrow down the results and go further in time using created:<2023-06-27 or the other filters available.