Skip to content

Actions: mthom/scryer-prolog

Actions

Docker Publish

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Merge pull request #2165 from infogulch/bench-csv Docker Publish #422: Commit 300f5f8 pushed by mthom
November 14, 2023 06:32 11m 3s master
master
November 14, 2023 06:32 11m 3s
Merge pull request #2166 from triska/more_tests Docker Publish #421: Commit 574a4d0 pushed by mthom
November 14, 2023 06:31 9m 24s master
master
November 14, 2023 06:31 9m 24s
Merge pull request #2153 from infogulch/benchmark Docker Publish #420: Commit 3b7d4a7 pushed by mthom
November 12, 2023 06:21 11m 28s master
master
November 12, 2023 06:21 11m 28s
correct style failures Docker Publish #419: Commit 50c64b8 pushed by mthom
November 11, 2023 18:00 10m 1s master
master
November 11, 2023 18:00 10m 1s
correct style failures Docker Publish #418: Commit 947fc15 pushed by mthom
November 11, 2023 17:44 9m 31s master
master
November 11, 2023 17:44 9m 31s
fix permanent variable handling over branches and cells (#2154) Docker Publish #417: Commit 83b9c61 pushed by mthom
November 11, 2023 16:20 37s master
master
November 11, 2023 16:20 37s
fix compare_pstr_to_string (#2148) Docker Publish #416: Commit 2dd1f6e pushed by mthom
November 5, 2023 01:32 6m 18s master
master
November 5, 2023 01:32 6m 18s
Merge pull request #2147 from infogulch/lint-format Docker Publish #415: Commit da0018e pushed by mthom
November 4, 2023 17:34 6m 32s master
master
November 4, 2023 17:34 6m 32s
update release version linked on website Docker Publish #414: Commit dddffb0 pushed by mthom
November 2, 2023 23:34 6m 22s master
master
November 2, 2023 23:34 6m 22s
update release link Docker Publish #413: Commit 4520bed pushed by mthom
November 2, 2023 23:32 12m 12s master
master
November 2, 2023 23:32 12m 12s
bump version number to v0.9.3 Docker Publish #412: Commit 126d7bb pushed by mthom
November 2, 2023 23:04 10m 43s master
master
November 2, 2023 23:04 10m 43s