Skip to content

Actions: mthom/scryer-prolog

Actions

All workflows

Actions

Loading...
Loading

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

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
CI CI #57: Scheduled
May 17, 2023 01:03 51m 25s master
master
May 17, 2023 01:03 51m 25s
Merge pull request #1808 from triska/gensym CI #56: Commit c71b8e0 pushed by mthom
May 16, 2023 21:55 1h 0m 18s master
master
May 16, 2023 21:55 1h 0m 18s
Merge pull request #1808 from triska/gensym Docker Publish #133: Commit c71b8e0 pushed by mthom
May 16, 2023 21:55 14m 16s master
master
May 16, 2023 21:55 14m 16s
gensym-related improvement and correction CI #55: Pull request #1808 opened by triska
May 16, 2023 20:19 1h 5m 26s triska:gensym
triska:gensym
May 16, 2023 20:19 1h 5m 26s
Merge pull request #1805 from triska/master Docker Publish #132: Commit f7d9237 pushed by mthom
May 15, 2023 05:27 14m 48s master
master
May 15, 2023 05:27 14m 48s
Merge pull request #1805 from triska/master CI #54: Commit f7d9237 pushed by mthom
May 15, 2023 05:27 6h 0m 13s master
master
May 15, 2023 05:27 6h 0m 13s
extend logic to all control and whitespace characters CI #53: Pull request #1805 opened by triska
May 14, 2023 07:35 1h 4m 14s triska:master
triska:master
May 14, 2023 07:35 1h 4m 14s
use same logic to print Chars and Atoms (#1804) CI #52: Commit 2f9996f pushed by mthom
May 10, 2023 06:04 1h 5m 23s master
master
May 10, 2023 06:04 1h 5m 23s
use same logic to print Chars and Atoms (#1804) Docker Publish #131: Commit 2f9996f pushed by mthom
May 10, 2023 06:04 17m 11s master
master
May 10, 2023 06:04 17m 11s
CI CI #51: Scheduled
May 10, 2023 01:00 51m 43s master
master
May 10, 2023 01:00 51m 43s
Merge pull request #1801 from triska/foldl Docker Publish #130: Commit c1218fc pushed by mthom
May 5, 2023 03:25 19m 2s master
master
May 5, 2023 03:25 19m 2s
Merge pull request #1801 from triska/foldl CI #50: Commit c1218fc pushed by mthom
May 5, 2023 03:25 55m 21s master
master
May 5, 2023 03:25 55m 21s
Merge pull request #1799 from triska/roman_numerals Docker Publish #129: Commit 57ef706 pushed by mthom
May 5, 2023 03:25 14m 7s master
master
May 5, 2023 03:25 14m 7s
Merge pull request #1799 from triska/roman_numerals CI #49: Commit 57ef706 pushed by mthom
May 5, 2023 03:25 43m 47s master
master
May 5, 2023 03:25 43m 47s
Merge pull request #1800 from triska/nbsp Docker Publish #128: Commit e4b19dc pushed by mthom
May 5, 2023 03:24 16m 43s master
master
May 5, 2023 03:24 16m 43s
Merge pull request #1800 from triska/nbsp CI #48: Commit e4b19dc pushed by mthom
May 5, 2023 03:24 37m 59s master
master
May 5, 2023 03:24 37m 59s
rely on first instantiated argument indexing in the definitions of foldl/N CI #47: Pull request #1801 opened by triska
May 3, 2023 22:27 46m 16s triska:foldl
triska:foldl
May 3, 2023 22:27 46m 16s
FIXED: consistent read/write of further control characters, and non-breaking space CI #46: Pull request #1800 opened by triska
May 3, 2023 21:06 1h 2m 20s triska:nbsp
triska:nbsp
May 3, 2023 21:06 1h 2m 20s
ENHANCED: allow Roman numerals in strings CI #45: Pull request #1799 opened by triska
May 3, 2023 19:40 46m 8s triska:roman_numerals
triska:roman_numerals
May 3, 2023 19:40 46m 8s
CI CI #44: Scheduled
May 3, 2023 01:01 50m 3s master
master
May 3, 2023 01:01 50m 3s
CI CI #43: Scheduled
April 26, 2023 01:00 51m 23s master
master
April 26, 2023 01:00 51m 23s
fix current_predicate/1 (#1761) CI #42: Commit c5a3ec3 pushed by mthom
April 25, 2023 05:23 51m 43s master
master
April 25, 2023 05:23 51m 43s
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
ProTip! You can narrow down the results and go further in time using created:<2023-04-23 or the other filters available.