Skip to content

Actions: mthom/scryer-prolog

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
920 workflow runs
920 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
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 Queued aarroyoc:fix-http-at-end-of-stream
aarroyoc:fix-http-at-end-of-stream
July 6, 2024 14:06 Queued
Some cleanup and miri fixes CI #959: Pull request #2439 synchronize by Skgland
July 6, 2024 13:46 Queued Skgland:miri
Skgland:miri
July 6, 2024 13:46 Queued
Some cleanup and miri fixes CI #958: Pull request #2439 synchronize by Skgland
July 6, 2024 13:37 Queued Skgland:miri
Skgland:miri
July 6, 2024 13:37 Queued
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 Queued triska:statistics
triska:statistics
July 6, 2024 09:33 Queued
ADDED: Preliminary support for statistics/2. CI #953: Pull request #2440 opened by triska
July 6, 2024 09:18 Queued triska:statistics
triska:statistics
July 6, 2024 09:18 Queued
Some cleanup and miri fixes CI #952: Pull request #2439 synchronize by Skgland
July 6, 2024 02:18 Queued Skgland:miri
Skgland:miri
July 6, 2024 02:18 Queued
Some cleanup and miri fixes CI #951: Pull request #2439 opened by Skgland
July 6, 2024 02:17 Queued Skgland:miri
Skgland:miri
July 6, 2024 02:17 Queued
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
Update on Miri coverage CI #948: Pull request #2438 opened by bakaq
July 5, 2024 13:22 Queued bakaq:miri
bakaq:miri
July 5, 2024 13:22 Queued
Merge pull request #2436 from triska/arxivlink CI #947: Commit 5f30c95 pushed by mthom
July 4, 2024 22:30 Queued master
master
July 4, 2024 22:30 Queued
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
Goal expansion in lib reif CI #944: Pull request #2433 synchronize by hurufu
June 30, 2024 09:23 Action required hurufu:goal_expansion_in_lib_reif
hurufu:goal_expansion_in_lib_reif
June 30, 2024 09:23 Action required
Goal expansion in lib reif CI #943: Pull request #2433 synchronize by hurufu
June 30, 2024 09:13 Action required hurufu:goal_expansion_in_lib_reif
hurufu:goal_expansion_in_lib_reif
June 30, 2024 09:13 Action required
Goal expansion in lib reif CI #942: Pull request #2433 synchronize by hurufu
June 29, 2024 07:56 Action required hurufu:goal_expansion_in_lib_reif
hurufu:goal_expansion_in_lib_reif
June 29, 2024 07:56 Action required
Goal expansion in lib reif CI #941: Pull request #2433 synchronize by hurufu
June 29, 2024 07:54 Action required hurufu:goal_expansion_in_lib_reif
hurufu:goal_expansion_in_lib_reif
June 29, 2024 07:54 Action required
Goal expansion in lib reif CI #940: Pull request #2433 synchronize by hurufu
June 29, 2024 07:53 Action required hurufu:goal_expansion_in_lib_reif
hurufu:goal_expansion_in_lib_reif
June 29, 2024 07:53 Action required
Goal expansion in lib reif CI #939: Pull request #2433 synchronize by hurufu
June 29, 2024 07:46 -1s hurufu:goal_expansion_in_lib_reif
hurufu:goal_expansion_in_lib_reif
June 29, 2024 07:46 -1s
Goal expansion in lib reif CI #938: Pull request #2433 opened by hurufu
June 28, 2024 20:06 Action required hurufu:goal_expansion_in_lib_reif
hurufu:goal_expansion_in_lib_reif
June 28, 2024 20:06 Action required
CI CI #937: Scheduled
June 26, 2024 01:00 36m 33s master
master
June 26, 2024 01:00 36m 33s