Skip to content

Actions: mthom/scryer-prolog

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
609 workflow runs
609 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Some cleanup and miri fixes CI #969: Pull request #2439 synchronize by Skgland
July 7, 2024 11:26 23m 52s Skgland:miri
Skgland:miri
July 7, 2024 11:26 23m 52s
Some cleanup and miri fixes CI #968: Pull request #2439 synchronize by Skgland
July 7, 2024 09:06 30m 23s Skgland:miri
Skgland:miri
July 7, 2024 09:06 30m 23s
Some cleanup and miri fixes CI #967: Pull request #2439 synchronize by Skgland
July 6, 2024 21:58 6h 0m 26s Skgland:miri
Skgland:miri
July 6, 2024 21:58 6h 0m 26s
Some cleanup and miri fixes CI #966: Pull request #2439 synchronize by Skgland
July 6, 2024 21:19 6h 0m 24s Skgland:miri
Skgland:miri
July 6, 2024 21:19 6h 0m 24s
Some cleanup and miri fixes CI #964: Pull request #2439 synchronize by Skgland
July 6, 2024 16:48 6h 0m 31s Skgland:miri
Skgland:miri
July 6, 2024 16:48 6h 0m 31s
Some cleanup and miri fixes CI #963: Pull request #2439 synchronize by Skgland
July 6, 2024 16:29 1d 3h 34m 37s Skgland:miri
Skgland:miri
July 6, 2024 16:29 1d 3h 34m 37s
Some cleanup and miri fixes CI #962: Pull request #2439 synchronize by Skgland
July 6, 2024 16:24 1d 3h 39m 40s Skgland:miri
Skgland:miri
July 6, 2024 16:24 1d 3h 39m 40s
Fix at_end_of_stream/1 for http read stream CI #960: Pull request #2442 opened by aarroyoc
July 6, 2024 14:06 1d 5h 57m 56s aarroyoc:fix-http-at-end-of-stream
aarroyoc:fix-http-at-end-of-stream
July 6, 2024 14:06 1d 5h 57m 56s
Some cleanup and miri fixes CI #959: Pull request #2439 synchronize by Skgland
July 6, 2024 13:46 1d 6h 18m 16s Skgland:miri
Skgland:miri
July 6, 2024 13:46 1d 6h 18m 16s
Some cleanup and miri fixes CI #958: Pull request #2439 synchronize by Skgland
July 6, 2024 13:37 1d 6h 27m 0s Skgland:miri
Skgland:miri
July 6, 2024 13:37 1d 6h 27m 0s
ADDED: Preliminary support for statistics/2. CI #954: Pull request #2440 synchronize by triska
July 6, 2024 09:33 1d 10h 30m 50s triska:statistics
triska:statistics
July 6, 2024 09:33 1d 10h 30m 50s
ADDED: Preliminary support for statistics/2. CI #953: Pull request #2440 opened by triska
July 6, 2024 09:18 1d 10h 45m 48s triska:statistics
triska:statistics
July 6, 2024 09:18 1d 10h 45m 48s
Some cleanup and miri fixes CI #952: Pull request #2439 synchronize by Skgland
July 6, 2024 02:18 1d 17h 45m 51s Skgland:miri
Skgland:miri
July 6, 2024 02:18 1d 17h 45m 51s
Some cleanup and miri fixes CI #951: Pull request #2439 opened by Skgland
July 6, 2024 02:17 1d 17h 47m 17s Skgland:miri
Skgland:miri
July 6, 2024 02:17 1d 17h 47m 17s
Update on Miri coverage CI #948: Pull request #2438 opened by bakaq
July 5, 2024 13:22 1d 6h 41m 59s bakaq:miri
bakaq:miri
July 5, 2024 13:22 1d 6h 41m 59s
Merge pull request #2436 from triska/arxivlink CI #947: Commit 5f30c95 pushed by mthom
July 4, 2024 22:30 1d 21h 34m 29s master
master
July 4, 2024 22:30 1d 21h 34m 29s
Merge pull request #2436 from triska/arxivlink Docker Publish #568: Commit 5f30c95 pushed by mthom
July 4, 2024 22:30 7m 24s master
master
July 4, 2024 22:30 7m 24s
link to newly available paper about Grants4Companies CI #946: Pull request #2436 opened by triska
July 3, 2024 20:09 1d 1h 40m 19s triska:arxivlink
triska:arxivlink
July 3, 2024 20:09 1d 1h 40m 19s
CI CI #945: Scheduled
July 3, 2024 01:00 1d 19h 3m 56s master
master
July 3, 2024 01:00 1d 19h 3m 56s
CI CI #937: Scheduled
June 26, 2024 01:00 36m 33s master
master
June 26, 2024 01:00 36m 33s
CI CI #932: Scheduled
June 19, 2024 01:00 32m 10s master
master
June 19, 2024 01:00 32m 10s
WIP: Add jit_compile/1, very basic JIT2 Test JIT #1: Pull request #2424 synchronize by aarroyoc
June 17, 2024 16:24 4m 3s aarroyoc:cranelift-jit
aarroyoc:cranelift-jit
June 17, 2024 16:24 4m 3s
WIP: Add jit_compile/1, very basic JIT2 CI #931: Pull request #2424 synchronize by aarroyoc
June 17, 2024 16:24 24m 8s aarroyoc:cranelift-jit
aarroyoc:cranelift-jit
June 17, 2024 16:24 24m 8s
Add macOS 14 ARM CI #930: Pull request #2412 synchronize by aarroyoc
June 16, 2024 13:30 34m 53s aarroyoc:macos-arm-runner-2
aarroyoc:macos-arm-runner-2
June 16, 2024 13:30 34m 53s
CI CI #929: Scheduled
June 12, 2024 01:00 29m 54s master
master
June 12, 2024 01:00 29m 54s
ProTip! You can narrow down the results and go further in time using created:<2024-06-12 or the other filters available.