Skip to content

Actions: mthom/scryer-prolog

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
917 workflow runs
917 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Fix build on WASM after #2442 CI #973: Pull request #2446 opened by aarroyoc
July 8, 2024 14:12 Queued aarroyoc:fix-http-at-end-of-stream
aarroyoc:fix-http-at-end-of-stream
July 8, 2024 14:12 Queued
Merge pull request #2442 from aarroyoc/fix-http-at-end-of-stream CI #972: Commit 8ac663d pushed by mthom
July 7, 2024 22:02 Queued master
master
July 7, 2024 22:02 Queued
Merge pull request #2440 from triska/statistics CI #971: Commit 9027126 pushed by mthom
July 7, 2024 21:59 Queued master
master
July 7, 2024 21:59 Queued
Some cleanup and miri fixes CI #970: Pull request #2439 synchronize by Skgland
July 7, 2024 17:23 29m 47s Skgland:miri
Skgland:miri
July 7, 2024 17:23 29m 47s
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
Goal expansion in lib reif CI #965: Pull request #2433 synchronize by hurufu
July 6, 2024 19:07 Action required hurufu:goal_expansion_in_lib_reif
hurufu:goal_expansion_in_lib_reif
July 6, 2024 19:07 Action required
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
Goal expansion in lib reif CI #961: Pull request #2433 synchronize by hurufu
July 6, 2024 16:18 Action required hurufu:goal_expansion_in_lib_reif
hurufu:goal_expansion_in_lib_reif
July 6, 2024 16:18 Action required
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
Goal expansion in lib reif CI #957: Pull request #2433 synchronize by hurufu
July 6, 2024 13:02 Action required hurufu:goal_expansion_in_lib_reif
hurufu:goal_expansion_in_lib_reif
July 6, 2024 13:02 Action required
Goal expansion in lib reif CI #956: Pull request #2433 synchronize by hurufu
July 6, 2024 12:03 Action required hurufu:goal_expansion_in_lib_reif
hurufu:goal_expansion_in_lib_reif
July 6, 2024 12:03 Action required
Goal expansion in lib reif CI #955: Pull request #2433 synchronize by hurufu
July 6, 2024 12:00 Action required hurufu:goal_expansion_in_lib_reif
hurufu:goal_expansion_in_lib_reif
July 6, 2024 12:00 Action required
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
Goal expansion in lib reif CI #950: Pull request #2433 synchronize by hurufu
July 5, 2024 19:35 Action required hurufu:goal_expansion_in_lib_reif
hurufu:goal_expansion_in_lib_reif
July 5, 2024 19:35 Action required
Goal expansion in lib reif CI #949: Pull request #2433 synchronize by hurufu
July 5, 2024 19:19 Action required hurufu:goal_expansion_in_lib_reif
hurufu:goal_expansion_in_lib_reif
July 5, 2024 19:19 Action required