Skip to content

Actions: mthom/scryer-prolog

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
580 workflow runs
580 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
CI CI #2089: Scheduled
1h 5m 31s master
master
1h 5m 31s
ensure pdl is pushed/popped in pairs and reuse tabu_list allocation by moving it from a local variable into the machine state CI #2088: Pull request #3342 opened by Skgland
22m 10s Skgland:pdl-pairs
Skgland:pdl-pairs
22m 10s
Use make-process to call imagemagick in showterm.el CI #2087: Pull request #3338 opened by drzv
Action required drzv:master
drzv:master
Action required
fix var mode in between/3 documentation CI #2086: Pull request #3336 opened by 0nkery
Action required 0nkery:fix-between-doc
0nkery:fix-between-doc
Action required
use BTree{Map,Set} to ensure a stable order based on the key/entry CI #2085: Pull request #3334 reopened by Skgland
22m 14s Skgland:stable-order
Skgland:stable-order
22m 14s
use BTree{Map,Set} to ensure a stable order based on the key/entry CI #2084: Pull request #3334 opened by Skgland
20m 11s Skgland:stable-order
Skgland:stable-order
20m 11s
CI CI #2083: Scheduled
22m 8s master
master
22m 8s
replace lazy_static macro with std::sync::LazyLock CI #2082: Pull request #3333 synchronize by 0nkery
Action required 0nkery:lazy-lock
0nkery:lazy-lock
Action required
replace lazy_static macro with std::sync::LazyLock CI #2081: Pull request #3333 synchronize by 0nkery
Action required 0nkery:lazy-lock
0nkery:lazy-lock
Action required
replace lazy_static macro with std::sync::LazyLock CI #2080: Pull request #3333 synchronize by 0nkery
Action required 0nkery:lazy-lock
0nkery:lazy-lock
Action required
replace lazy_static macro with std::sync::LazyLock CI #2079: Pull request #3333 opened by 0nkery
Action required 0nkery:lazy-lock
0nkery:lazy-lock
Action required
Prove safety of RawBlock and support multi-threaded usages CI #2078: Pull request #3331 synchronize by adri326
22m 46s adri326:rawblock-safety
adri326:rawblock-safety
22m 46s
Prove safety of RawBlock and support multi-threaded usages CI #2077: Pull request #3331 synchronize by adri326
17m 17s adri326:rawblock-safety
adri326:rawblock-safety
17m 17s
run miri for a big-endian target CI #2076: Pull request #3312 synchronize by Skgland
21m 58s Skgland:big-endian-miri
Skgland:big-endian-miri
21m 58s
upgrade libffi dependency CI #2075: Pull request #3328 opened by Skgland
23m 37s Skgland:update-libffi
Skgland:update-libffi
23m 37s
cargo in /. for openssl - Update #1355531886 Dependabot Updates #14: by dependabot Bot
45s master
master
45s
Bump openssl from 0.10.72 to 0.10.79 CI #2074: Pull request #3326 opened by dependabot Bot
23m 58s dependabot/cargo/openssl-0.10.79
dependabot/cargo/openssl-0.10.79
23m 58s
cargo in /. for openssl - Update #1351723359 Dependabot Updates #13: by dependabot Bot
1m 14s master
master
1m 14s
CI CI #2073: Scheduled
22m 33s master
master
22m 33s
bump Rust version to 1.93.1 and bump rustyline to version 18.0.0 CI #2072: Pull request #3290 synchronize by abmclin
24m 21s abmclin:bump-rustyline-version-18
abmclin:bump-rustyline-version-18
24m 21s
add link to VATmiraal, https://vatmiraal.be CI #2071: Pull request #3323 synchronize by triska
21m 26s triska:VATmiraal
triska:VATmiraal
21m 26s
add link to VATmiraal, https://vatmiraal.be CI #2070: Pull request #3323 opened by triska
20m 9s triska:VATmiraal
triska:VATmiraal
20m 9s
More Accesible Quad Module CI #2069: Pull request #3313 synchronize by constraintAutomaton
20m 57s constraintAutomaton:more-accesible-quad
constraintAutomaton:more-accesible-quad
20m 57s
optimize put_back_char CI #2068: Pull request #3317 synchronize by Skgland
22m 6s Skgland:optimize-put_back_char
Skgland:optimize-put_back_char
22m 6s
optimize put_back_char CI #2067: Pull request #3317 synchronize by Skgland
22m 19s Skgland:optimize-put_back_char
Skgland:optimize-put_back_char
22m 19s