Skip to content

Actions: mthom/scryer-prolog

Actions

All workflows

Actions

Loading...
Loading

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

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Fix warnings of dead code CI #913: Pull request #2410 opened by aarroyoc
May 27, 2024 17:53 23m 43s aarroyoc:fix-warn-dead-code-elimination
aarroyoc:fix-warn-dead-code-elimination
May 27, 2024 17:53 23m 43s
CI CI #910: Scheduled
May 22, 2024 00:57 23m 27s master
master
May 22, 2024 00:57 23m 27s
CI CI #909: Scheduled
May 15, 2024 00:57 22m 37s master
master
May 15, 2024 00:57 22m 37s
restore ubuntu testing to ci.yml with rust version 1.77 CI #908: Pull request #2403 opened by mthom
May 13, 2024 20:41 24m 52s version_177_ci
version_177_ci
May 13, 2024 20:41 24m 52s
more generally consider NEGATIVE_SIGN a non-op term (#2401) CI #907: Commit 070f1e8 pushed by mthom
May 13, 2024 20:37 22m 27s master
master
May 13, 2024 20:37 22m 27s
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
master
May 13, 2024 20:37 7m 33s
CI CI #906: Scheduled
May 8, 2024 00:46 26m 32s master
master
May 8, 2024 00:46 26m 32s
CI CI #905: Scheduled
May 1, 2024 00:59 32m 54s master
master
May 1, 2024 00:59 32m 54s
Merge pull request #2393 from mthom/unsafe_improvements Docker Publish #563: Commit 42a0d68 pushed by mthom
April 29, 2024 22:17 8m 14s master
master
April 29, 2024 22:17 8m 14s
Merge pull request #2393 from mthom/unsafe_improvements CI #904: Commit 42a0d68 pushed by mthom
April 29, 2024 22:17 37m 53s master
master
April 29, 2024 22:17 37m 53s
Improve use of unsafe Rust in arena.rs (#2391) CI #903: Pull request #2393 synchronize by mthom
April 29, 2024 21:40 35m 5s unsafe_improvements
unsafe_improvements
April 29, 2024 21:40 35m 5s
delay instantiation errors on lists in phrase/3 until runtime (#1665,… CI #902: Commit f3eea63 pushed by mthom
April 29, 2024 21:35 33m 34s master
master
April 29, 2024 21:35 33m 34s
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
master
April 29, 2024 21:35 7m 15s
Improve use of unsafe Rust in arena.rs (#2391) CI #901: Pull request #2393 synchronize by mthom
April 26, 2024 02:06 21m 11s unsafe_improvements
unsafe_improvements
April 26, 2024 02:06 21m 11s
Improve use of unsafe Rust in arena.rs (#2391) CI #900: Pull request #2393 synchronize by mthom
April 25, 2024 03:22 26m 32s unsafe_improvements
unsafe_improvements
April 25, 2024 03:22 26m 32s
Improve use of unsafe Rust in arena.rs (#2391) CI #899: Pull request #2393 opened by mthom
April 25, 2024 02:35 22m 55s unsafe_improvements
unsafe_improvements
April 25, 2024 02:35 22m 55s
CI CI #898: Scheduled
April 24, 2024 00:55 34m 20s master
master
April 24, 2024 00:55 34m 20s
CI CI #897: Scheduled
April 17, 2024 00:55 38m 26s master
master
April 17, 2024 00:55 38m 26s
add nth_partial_strings_tests for bugs raised in #1827, #2381 CI #896: Commit 9837187 pushed by mthom
April 10, 2024 21:54 38m 5s master
master
April 10, 2024 21:54 38m 5s
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
master
April 10, 2024 21:54 7m 29s
fix skip_max_list crash on bigint max_steps (#2382) CI #895: Commit cf14b22 pushed by mthom
April 10, 2024 00:58 29m 13s master
master
April 10, 2024 00:58 29m 13s
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
master
April 10, 2024 00:58 7m 35s
CI CI #894: Scheduled
April 10, 2024 00:54 32m 47s master
master
April 10, 2024 00:54 32m 47s
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
master
April 9, 2024 21:59 7m 39s
correct offsets around max_steps in skip_max_list (#2381) CI #893: Commit 77e90ca pushed by mthom
April 9, 2024 21:59 33m 59s master
master
April 9, 2024 21:59 33m 59s