Skip to content

Actions: mthom/scryer-prolog

Actions

Docker Publish

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
449 workflow runs
449 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Merge pull request #2436 from triska/arxivlink
Docker Publish #568: Commit 5f30c95 pushed by mthom
July 4, 2024 22:30 7m 24s master
July 4, 2024 22:30 7m 24s
Merge pull request #2417 from aarroyoc/fix-2416
Docker Publish #567: Commit d6ac035 pushed by mthom
June 7, 2024 04:33 7m 51s master
June 7, 2024 04:33 7m 51s
Docker Publish
Docker Publish #566: by mthom
May 29, 2024 18:28 7m 46s master
May 29, 2024 18:28 7m 46s
Merge pull request #2410 from aarroyoc/fix-warn-dead-code-elimination
Docker Publish #565: Commit 9672045 pushed by mthom
May 27, 2024 18:07 7m 55s master
May 27, 2024 18:07 7m 55s
more generally consider NEGATIVE_SIGN a non-op term (#2401)
Docker Publish #564: Commit 070f1e8 pushed by mthom
May 13, 2024 20:37 7m 33s master
May 13, 2024 20:37 7m 33s
Merge pull request #2393 from mthom/unsafe_improvements
Docker Publish #563: Commit 42a0d68 pushed by mthom
April 29, 2024 22:17 8m 14s master
April 29, 2024 22:17 8m 14s
delay instantiation errors on lists in phrase/3 until runtime (#1665,…
Docker Publish #562: Commit f3eea63 pushed by mthom
April 29, 2024 21:35 7m 15s master
April 29, 2024 21:35 7m 15s
add nth_partial_strings_tests for bugs raised in #1827, #2381
Docker Publish #561: Commit 9837187 pushed by mthom
April 10, 2024 21:54 7m 29s master
April 10, 2024 21:54 7m 29s
fix skip_max_list crash on bigint max_steps (#2382)
Docker Publish #560: Commit cf14b22 pushed by mthom
April 10, 2024 00:58 7m 35s master
April 10, 2024 00:58 7m 35s
correct offsets around max_steps in skip_max_list (#2381)
Docker Publish #559: Commit 77e90ca pushed by mthom
April 9, 2024 21:59 7m 39s master
April 9, 2024 21:59 7m 39s
Merge pull request #2379 from aarroyoc/scryer-prolog-meetup-2024
Docker Publish #558: Commit f734c27 pushed by mthom
April 8, 2024 00:10 7m 20s master
April 8, 2024 00:10 7m 20s
add Scryer Prolog Meetup 2024 to README
Docker Publish #557: Commit a2dd189 pushed by mthom
April 5, 2024 18:29 7m 33s master
April 5, 2024 18:29 7m 33s
add Scryer Prolog Meetup 2024 to README
Docker Publish #556: Commit 062e29f pushed by mthom
April 5, 2024 18:28 7m 23s master
April 5, 2024 18:28 7m 23s
Merge pull request #2376 from mthom/dependabot/cargo/h2-0.3.26
Docker Publish #555: Commit 0ed4e41 pushed by mthom
April 5, 2024 17:19 7m 57s master
April 5, 2024 17:19 7m 57s
treat Utf8Error::valid_up_to as an offset form self.pos, which it is …
Docker Publish #554: Commit aab6567 pushed by mthom
April 3, 2024 21:30 7m 34s master
April 3, 2024 21:30 7m 34s
Merge pull request #2367 from triska/dcg_meta_predicates
Docker Publish #553: Commit ea9e24f pushed by mthom
March 26, 2024 21:21 7m 59s master
March 26, 2024 21:21 7m 59s
correct offset retrieval in add_pstr_chars_and_step (#2370)
Docker Publish #552: Commit 40fc4f9 pushed by mthom
March 25, 2024 18:48 7m 24s master
March 25, 2024 18:48 7m 24s
correct offset retrieval in add_pstr_chars_and_step (#2030)
Docker Publish #551: Commit 8d0f6a5 pushed by mthom
March 25, 2024 18:47 7m 47s master
March 25, 2024 18:47 7m 47s
Merge pull request #2363 from triska/compile_format
Docker Publish #550: Commit 2fdbb94 pushed by mthom
March 21, 2024 00:52 7m 42s master
March 21, 2024 00:52 7m 42s
expand_call_goals/3 should expand meta-predicate subgoals (#2361)
Docker Publish #549: Commit 0292cb7 pushed by mthom
March 19, 2024 23:13 7m 42s master
March 19, 2024 23:13 7m 42s
Merge pull request #2358 from triska/octet_documentation
Docker Publish #548: Commit 7b33eaf pushed by mthom
March 17, 2024 01:56 7m 15s master
March 17, 2024 01:56 7m 15s
don't skip to end of pstr in CommaSeparatedCharList token variant (#2…
Docker Publish #547: Commit 6f7f979 pushed by mthom
March 13, 2024 00:37 9m 35s master
March 13, 2024 00:37 9m 35s
Merge pull request #2357 from aarroyoc/update-website-0.9.4
Docker Publish #546: Commit ca8e280 pushed by mthom
March 12, 2024 22:46 7m 47s master
March 12, 2024 22:46 7m 47s
recompile original terms from compile_clause for term to term expansi…
Docker Publish #545: Commit df41eb1 pushed by mthom
March 2, 2024 01:57 7m 40s master
March 2, 2024 01:57 7m 40s
Merge pull request #2354 from triska/side_channel
Docker Publish #544: Commit 90c602f pushed by mthom
March 1, 2024 23:11 7m 32s master
March 1, 2024 23:11 7m 32s