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
support module resolution in current_predicate/1 (#1817) Docker Publish #158: Commit b593fff pushed by mthom
June 27, 2023 17:17 16m 6s master
master
June 27, 2023 17:17 16m 6s
remove tabling attributes in each module's attribute_goals//1 (#1825) CI #101: Commit aa65287 pushed by mthom
June 27, 2023 16:31 24m 28s master
master
June 27, 2023 16:31 24m 28s
remove tabling attributes in each module's attribute_goals//1 (#1825) Docker Publish #157: Commit aa65287 pushed by mthom
June 27, 2023 16:31 14m 35s master
master
June 27, 2023 16:31 14m 35s
properly account for partial string offsets in '$skip_max_list' (#1827) CI #100: Commit a6522d6 pushed by mthom
June 26, 2023 22:39 24m 57s master
master
June 26, 2023 22:39 24m 57s
properly account for partial string offsets in '$skip_max_list' (#1827) Docker Publish #156: Commit a6522d6 pushed by mthom
June 26, 2023 22:39 19m 18s master
master
June 26, 2023 22:39 19m 18s
mark chunk boundary at beginning of disjunct in disjuncts.rs (#1843) CI #99: Commit 0b45d42 pushed by mthom
June 24, 2023 23:18 23m 19s master
master
June 24, 2023 23:18 23m 19s
mark chunk boundary at beginning of disjunct in disjuncts.rs (#1843) Docker Publish #155: Commit 0b45d42 pushed by mthom
June 24, 2023 23:18 13m 52s master
master
June 24, 2023 23:18 13m 52s
mark chunk boundary at beginning of disjunct in disjuncts.rs (#1843) Docker Publish #154: Commit 4034500 pushed by mthom
June 24, 2023 23:03 14m 42s master
master
June 24, 2023 23:03 14m 42s
mark chunk boundary at beginning of disjunct in disjuncts.rs (#1843) CI #98: Commit 4034500 pushed by mthom
June 24, 2023 23:03 22m 38s master
master
June 24, 2023 23:03 22m 38s
fix string incompleteness (#1828) Docker Publish #153: Commit d9829a3 pushed by mthom
June 24, 2023 20:12 15m 34s master
master
June 24, 2023 20:12 15m 34s
fix string incompleteness (#1828) CI #97: Commit d9829a3 pushed by mthom
June 24, 2023 20:12 27m 48s master
master
June 24, 2023 20:12 27m 48s
Merge pull request #1842 from infogulch/release-on-tag Docker Publish #152: Commit 59766e2 pushed by mthom
June 24, 2023 19:13 14m 22s master
master
June 24, 2023 19:13 14m 22s
Merge pull request #1842 from infogulch/release-on-tag CI #96: Commit 59766e2 pushed by mthom
June 24, 2023 19:13 50m 48s master
master
June 24, 2023 19:13 50m 48s
Fix tags trigger; bump MSRV to 1.65 CI #95: Pull request #1842 synchronize by infogulch
June 24, 2023 18:21 58m 15s infogulch:release-on-tag
infogulch:release-on-tag
June 24, 2023 18:21 58m 15s
Fix tags trigger; bump MSRV to 1.65 CI #94: Pull request #1842 opened by infogulch
June 24, 2023 18:11 2m 56s infogulch:release-on-tag
infogulch:release-on-tag
June 24, 2023 18:11 2m 56s
fix branch subsumption bug (#1840, #1841) Docker Publish #151: Commit 9f209da pushed by mthom
June 24, 2023 16:59 16m 41s master
master
June 24, 2023 16:59 16m 41s
fix branch subsumption bug (#1840, #1841) CI #93: Commit 9f209da pushed by mthom
June 24, 2023 16:59 3m 22s master
master
June 24, 2023 16:59 3m 22s
Merge pull request #1838 from triska/get_line_to_chars CI #92: Commit 2ec45b7 pushed by mthom
June 24, 2023 15:19 2m 55s master
master
June 24, 2023 15:19 2m 55s
Merge pull request #1838 from triska/get_line_to_chars Docker Publish #150: Commit 2ec45b7 pushed by mthom
June 24, 2023 15:19 14m 10s master
master
June 24, 2023 15:19 14m 10s
update README CI #91: Commit bf58187 pushed by mthom
June 24, 2023 15:11 2m 51s master
master
June 24, 2023 15:11 2m 51s
update README Docker Publish #149: Commit bf58187 pushed by mthom
June 24, 2023 15:11 14m 46s master
master
June 24, 2023 15:11 14m 46s
MODIFIED: read_line_to_chars/3 is now called get_line_to_chars/3 CI #90: Pull request #1838 opened by triska
June 24, 2023 10:00 3m 1s triska:get_line_to_chars
triska:get_line_to_chars
June 24, 2023 10:00 3m 1s
correct code_walker.rs in light of compilation improvements Docker Publish #148: Commit 7a18874 pushed by mthom
June 23, 2023 23:02 13m 28s master
master
June 23, 2023 23:02 13m 28s
correct code_walker.rs in light of compilation improvements CI #89: Commit 7a18874 pushed by mthom
June 23, 2023 23:02 2m 59s master
master
June 23, 2023 23:02 2m 59s
Merge pull request #1834 from infogulch/ci-publish-releases Docker Publish #147: Commit bcc5bff pushed by mthom
June 23, 2023 18:01 13m 27s master
master
June 23, 2023 18:01 13m 27s
ProTip! You can narrow down the results and go further in time using created:<2023-06-23 or the other filters available.