Skip to content

Actions: trealla-prolog/trealla

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,509 workflow runs
2,509 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #559: by infradig
October 18, 2023 21:45 51s main
main
October 18, 2023 21:45 51s
Add '$clause'/2,3 Build #1434: Pull request #375 opened by guregu
October 18, 2023 21:38 4m 17s guregu:system_clause23
guregu:system_clause23
October 18, 2023 21:38 4m 17s
Support public/1 directive, add public_clauses flag (#372) Build #1433: Pull request #374 opened by guregu
October 18, 2023 14:57 4m 5s guregu:public-directive
guregu:public-directive
October 18, 2023 14:57 4m 5s
Build Build #1432: by infradig
October 18, 2023 08:11 3m 28s
October 18, 2023 08:11 3m 28s
Merge pull request #373 from guregu/lax-clause Build #1431: Commit 8352158 pushed by infradig
October 18, 2023 08:10 3m 2s main
main
October 18, 2023 08:10 3m 2s
pages build and deployment pages-build-deployment #558: by infradig
October 18, 2023 08:10 1m 11s main
main
October 18, 2023 08:10 1m 11s
Support clause/2,3 for non-dynamic clauses Build #1430: Pull request #373 opened by guregu
October 18, 2023 07:48 3m 4s guregu:lax-clause
guregu:lax-clause
October 18, 2023 07:48 3m 4s
Build Build #1429: by infradig
October 18, 2023 05:24 4m 36s
October 18, 2023 05:24 4m 36s
Fix heap error with cloning terms Build #1428: Commit 2deba0c pushed by infradig
October 18, 2023 05:23 4m 10s main
main
October 18, 2023 05:23 4m 10s
pages build and deployment pages-build-deployment #557: by infradig
October 18, 2023 05:23 56s main
main
October 18, 2023 05:23 56s
Build Build #1427: by infradig
October 18, 2023 03:16 4m 2s
October 18, 2023 03:16 4m 2s
WIP Build #1426: Commit 6d8ad08 pushed by infradig
October 18, 2023 03:16 3m 26s main
main
October 18, 2023 03:16 3m 26s
pages build and deployment pages-build-deployment #556: by infradig
October 18, 2023 03:16 1m 0s main
main
October 18, 2023 03:16 1m 0s
Build Build #1425: by infradig
October 18, 2023 00:06 3m 21s
October 18, 2023 00:06 3m 21s
WIP Build #1424: Commit 39abf9e pushed by infradig
October 18, 2023 00:05 3m 47s main
main
October 18, 2023 00:05 3m 47s
pages build and deployment pages-build-deployment #555: by infradig
October 18, 2023 00:05 56s main
main
October 18, 2023 00:05 56s
Build Build #1423: by infradig
October 17, 2023 05:52 3m 38s
October 17, 2023 05:52 3m 38s
WIP Build #1422: Commit 21a3665 pushed by infradig
October 17, 2023 05:51 3m 46s main
main
October 17, 2023 05:51 3m 46s
pages build and deployment pages-build-deployment #554: by infradig
October 17, 2023 05:51 1m 2s main
main
October 17, 2023 05:51 1m 2s
Build Build #1421: by infradig
October 17, 2023 05:18 3m 14s
October 17, 2023 05:18 3m 14s
WIP Build #1420: Commit be3ee98 pushed by infradig
October 17, 2023 05:18 3m 11s main
main
October 17, 2023 05:18 3m 11s
pages build and deployment pages-build-deployment #553: by infradig
October 17, 2023 05:18 53s main
main
October 17, 2023 05:18 53s
Build Build #1419: by infradig
October 17, 2023 05:14 1m 56s
October 17, 2023 05:14 1m 56s
WIP Build #1418: Commit d99d2a6 pushed by infradig
October 17, 2023 05:14 2m 26s main
main
October 17, 2023 05:14 2m 26s
pages build and deployment pages-build-deployment #552: by infradig
October 17, 2023 05:14 1m 6s main
main
October 17, 2023 05:14 1m 6s
ProTip! You can narrow down the results and go further in time using created:<2023-10-17 or the other filters available.