Skip to content

Actions: mthom/scryer-prolog

Actions

Docker Publish

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-publish.yml
441 workflow runs
441 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
fix overeager detection of (->)/2 in if position of (;)/2 (#2183) Docker Publish #447: Commit de452bb pushed by mthom
November 29, 2023 18:05 7m 59s master
master
November 29, 2023 18:05 7m 59s
Merge pull request #2186 from aarroyoc/cpu-now-wasm32 Docker Publish #446: Commit e8d8b09 pushed by mthom
November 28, 2023 23:17 7m 57s master
master
November 28, 2023 23:17 7m 57s
open pl files instead of directories (#2014) Docker Publish #445: Commit 631674d pushed by mthom
November 28, 2023 22:33 14m 28s master
master
November 28, 2023 22:33 14m 28s
Merge pull request #2184 from mthom/dependabot/cargo/openssl-0.10.60 Docker Publish #444: Commit bc3ae52 pushed by mthom
November 28, 2023 22:31 8m 22s master
master
November 28, 2023 22:31 8m 22s
allocate cut variables properly (#2183) Docker Publish #443: Commit 5cb207d pushed by mthom
November 28, 2023 21:38 7m 51s master
master
November 28, 2023 21:38 7m 51s
allocate cut variables as temporaries when in non-allocating clause (… Docker Publish #442: Commit de5de0c pushed by mthom
November 28, 2023 20:10 7m 50s master
master
November 28, 2023 20:10 7m 50s
bind missing module atom in retract/1 (#2182) Docker Publish #441: Commit b8ef367 pushed by mthom
November 26, 2023 03:59 7m 39s master
master
November 26, 2023 03:59 7m 39s
Merge pull request #2169 from infogulch/flame Docker Publish #440: Commit f1458b7 pushed by mthom
November 24, 2023 17:57 7m 56s master
master
November 24, 2023 17:57 7m 56s
remove redundant running count increment in mark_non_callable (#2176) Docker Publish #439: Commit 1fbc7f9 pushed by mthom
November 24, 2023 05:05 6m 31s master
master
November 24, 2023 05:05 6m 31s
Merge pull request #2179 from mthom/fix_stress_integration_test Docker Publish #438: Commit 73ed08a pushed by mthom
November 23, 2023 20:31 6m 11s master
master
November 23, 2023 20:31 6m 11s
Merge pull request #2173 from aarroyoc/js-eval Docker Publish #437: Commit 2e114df pushed by mthom
November 22, 2023 20:52 6m 19s master
master
November 22, 2023 20:52 6m 19s
Merge pull request #2177 from mthom/remove_assertx Docker Publish #436: Commit 20da342 pushed by mthom
November 22, 2023 16:54 6m 17s master
master
November 22, 2023 16:54 6m 17s
add CutPoint to select_switch_on_term_index (#2176) Docker Publish #435: Commit ef8eb93 pushed by mthom
November 22, 2023 15:57 6m 13s master
master
November 22, 2023 15:57 6m 13s
Merge pull request #1999 from triska/time_inferences Docker Publish #434: Commit 041ec06 pushed by mthom
November 21, 2023 22:04 6m 9s master
master
November 21, 2023 22:04 6m 9s
fix copy_term/2 variable copying bug in lists (#923, #2127) Docker Publish #433: Commit 3841b29 pushed by mthom
November 21, 2023 22:04 6m 46s master
master
November 21, 2023 22:04 6m 46s
fix error detection in int_pow (#2161) Docker Publish #432: Commit a3e83d5 pushed by mthom
November 21, 2023 15:32 6m 12s master
master
November 21, 2023 15:32 6m 12s
add global_count inference counter that is always incremented (#2009) Docker Publish #431: Commit 54166b9 pushed by mthom
November 20, 2023 23:27 6m 17s master
master
November 20, 2023 23:27 6m 17s
fix dif:vars_remove_goal/2 (#2175), untabify forms.rs to appease form… Docker Publish #430: Commit 1e5bb2d pushed by mthom
November 20, 2023 21:21 6m 19s master
master
November 20, 2023 21:21 6m 19s
fix dif:vars_remove_goal/2 (#2175), untabify forms.rs to appease form… Docker Publish #429: Commit 14d7a9b pushed by mthom
November 20, 2023 20:41 6m 17s master
master
November 20, 2023 20:41 6m 17s
remove unnecessary spaces around (|) (#2164) Docker Publish #428: Commit 8d9a759 pushed by mthom
November 19, 2023 15:47 6m 32s master
master
November 19, 2023 15:47 6m 32s
Merge pull request #2168 from aarroyoc/update-web-2023-11-15 Docker Publish #427: Commit f32b035 pushed by mthom
November 16, 2023 20:07 6m 13s master
master
November 16, 2023 20:07 6m 13s
Merge pull request #2159 from mthom/dependabot/cargo/rustix-0.38.21 Docker Publish #426: Commit a8e6930 pushed by mthom
November 16, 2023 20:07 6m 23s master
master
November 16, 2023 20:07 6m 23s
Merge pull request #2167 from infogulch/ci-checks-permission Docker Publish #425: Commit df5855d pushed by mthom
November 16, 2023 08:30 6m 16s master
master
November 16, 2023 08:30 6m 16s
fix sign/1 (#2157) Docker Publish #424: Commit bcb68fc pushed by mthom
November 15, 2023 20:20 6m 43s master
master
November 15, 2023 20:20 6m 43s
fix shr crash (#2158) Docker Publish #423: Commit 4be320a pushed by mthom
November 14, 2023 07:28 10m 43s master
master
November 14, 2023 07:28 10m 43s