Skip to content

Actions: mthom/scryer-prolog

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
564 workflow runs
564 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

perf improvements for 3265 CI #1997: Pull request #3266 synchronize by Skgland
24m 36s Skgland:perf-issue-3265
Skgland:perf-issue-3265
24m 36s
fix library paths and module qualification in quadtests.pl CI #1996: Pull request #3269 synchronize by no382001
22m 23s no382001:quads
no382001:quads
22m 23s
fix library paths and module qualification in quadtests.pl CI #1995: Pull request #3269 opened by no382001
23m 39s no382001:quads
no382001:quads
23m 39s
CI CI #1994: Scheduled
22m 38s master
master
22m 38s
perf improvements for 3265 CI #1993: Pull request #3266 synchronize by Skgland
21m 29s Skgland:perf-issue-3265
Skgland:perf-issue-3265
21m 29s
perf improvements for 3265 CI #1992: Pull request #3266 synchronize by Skgland
21m 37s Skgland:perf-issue-3265
Skgland:perf-issue-3265
21m 37s
perf improvements for 3265 CI #1991: Pull request #3266 synchronize by Skgland
21m 19s Skgland:perf-issue-3265
Skgland:perf-issue-3265
21m 19s
perf improvements for 3265 CI #1990: Pull request #3266 synchronize by Skgland
20m 24s Skgland:perf-issue-3265
Skgland:perf-issue-3265
20m 24s
perf improvements for 3265 CI #1989: Pull request #3266 opened by Skgland
22m 1s Skgland:perf-issue-3265
Skgland:perf-issue-3265
22m 1s
Merge pull request #3243 from danilp-id/master CI #1988: Commit 79a9b95 pushed by mthom
21m 21s master
master
21m 21s
Merge pull request #3243 from danilp-id/master Docker Publish #718: Commit 79a9b95 pushed by mthom
6m 21s master
master
6m 21s
Merge pull request #3257 from triska/include CI #1987: Commit fba2854 pushed by mthom
22m 54s master
master
22m 54s
Merge pull request #3257 from triska/include Docker Publish #717: Commit fba2854 pushed by mthom
6m 25s master
master
6m 25s
CI CI #1986: Scheduled
23m 26s master
master
23m 26s
ISO: Implement the include/1 directive CI #1985: Pull request #3257 synchronize by triska
22m 4s triska:include
triska:include
22m 4s
Merge pull request #3258 from no382001/fix_load_xml/3 Docker Publish #716: Commit b0b89a0 pushed by mthom
6m 9s master
master
6m 9s
Merge pull request #3258 from no382001/fix_load_xml/3 CI #1984: Commit b0b89a0 pushed by mthom
22m 41s master
master
22m 41s
CI CI #1983: Scheduled
22m 34s master
master
22m 34s
load_xml was returning a single term instead of a list of nodes CI #1982: Pull request #3258 synchronize by no382001
23m 52s no382001:fix_load_xml/3
no382001:fix_load_xml/3
23m 52s
Merge pull request #3234 from fusiongyro/patch-1 Docker Publish #715: Commit 8002b9a pushed by mthom
11m 48s master
master
11m 48s
Merge pull request #3234 from fusiongyro/patch-1 CI #1981: Commit 8002b9a pushed by mthom
42m 58s master
master
42m 58s
Merge pull request #3232 from triska/not_si CI #1980: Commit 02f8658 pushed by mthom
42m 25s master
master
42m 25s
Merge pull request #3232 from triska/not_si Docker Publish #714: Commit 02f8658 pushed by mthom
9m 16s master
master
9m 16s
Merge pull request #3252 from Skgland/towards-a-crate-without-syn@1 CI #1979: Commit 4d144ea pushed by mthom
37m 21s master
master
37m 21s
Merge pull request #3252 from Skgland/towards-a-crate-without-syn@1 Docker Publish #713: Commit 4d144ea pushed by mthom
9m 39s master
master
9m 39s