Skip to content

Actions: trealla-prolog/trealla

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yaml
1,578 workflow runs
1,578 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build Build #1569: by infradig
November 27, 2023 07:00 2m 53s
November 27, 2023 07:00 2m 53s
Merge branch 'devel' Build #1568: Commit 8702e6e pushed by infradig
November 27, 2023 07:00 2m 55s main
main
November 27, 2023 07:00 2m 55s
Build Build #1567: by infradig
November 27, 2023 06:55 2m 45s
November 27, 2023 06:55 2m 45s
Merge branch 'devel' Build #1566: Commit 677da86 pushed by infradig
November 27, 2023 06:55 2m 42s main
main
November 27, 2023 06:55 2m 42s
Build Build #1565: by infradig
November 27, 2023 06:49 2m 37s
November 27, 2023 06:49 2m 37s
Merge branch 'devel' Build #1564: Commit 1116ca7 pushed by infradig
November 27, 2023 06:49 2m 29s main
main
November 27, 2023 06:49 2m 29s
Build Build #1563: by infradig
November 27, 2023 06:44 1m 57s
November 27, 2023 06:44 1m 57s
Merge branch 'devel' Build #1562: Commit 3c26576 pushed by infradig
November 27, 2023 06:44 1m 59s main
main
November 27, 2023 06:44 1m 59s
Build Build #1561: by infradig
November 27, 2023 06:35 1m 59s
November 27, 2023 06:35 1m 59s
Merge branch 'devel' Build #1560: Commit 5d6c038 pushed by infradig
November 27, 2023 06:35 2m 32s main
main
November 27, 2023 06:35 2m 32s
Build Build #1559: by infradig
November 27, 2023 06:27 1m 30s
November 27, 2023 06:27 1m 30s
Merge branch 'devel' Build #1558: Commit 1500bde pushed by infradig
November 27, 2023 06:27 1m 23s main
main
November 27, 2023 06:27 1m 23s
Build Build #1557: by infradig
November 27, 2023 02:51 3m 5s
November 27, 2023 02:51 3m 5s
Merge branch 'devel' Build #1556: Commit 1a41db4 pushed by infradig
November 27, 2023 02:51 3m 4s main
main
November 27, 2023 02:51 3m 4s
Build Build #1555: by infradig
November 26, 2023 23:12 2m 52s
November 26, 2023 23:12 2m 52s
Merge branch 'devel' Build #1554: Commit 2e8b091 pushed by infradig
November 26, 2023 23:12 2m 35s main
main
November 26, 2023 23:12 2m 35s
Build Build #1553: by infradig
November 26, 2023 02:09 3m 12s
November 26, 2023 02:09 3m 12s
Merge branch 'devel' Build #1552: Commit 9d3c25f pushed by infradig
November 26, 2023 02:09 2m 34s main
main
November 26, 2023 02:09 2m 34s
Build Build #1551: by infradig
November 26, 2023 00:43 2m 43s
November 26, 2023 00:43 2m 43s
Merge branch 'devel' Build #1550: Commit 930687b pushed by infradig
November 26, 2023 00:43 3m 2s main
main
November 26, 2023 00:43 3m 2s
Build Build #1549: by infradig
November 25, 2023 22:18 3m 14s
November 25, 2023 22:18 3m 14s
Cyclic term compare, re issue #402 Build #1548: Commit e735be1 pushed by infradig
November 25, 2023 22:18 2m 38s main
main
November 25, 2023 22:18 2m 38s
Merge pull request #401 from guregu/make-clean-fix Build #1547: Commit f7f9277 pushed by infradig
November 25, 2023 20:56 4m 35s main
main
November 25, 2023 20:56 4m 35s
Fix make clean Build #1546: Pull request #401 opened by guregu
November 25, 2023 14:27 2m 29s guregu:make-clean-fix
guregu:make-clean-fix
November 25, 2023 14:27 2m 29s
Build Build #1545: by infradig
November 25, 2023 09:33 2m 40s
November 25, 2023 09:33 2m 40s
ProTip! You can narrow down the results and go further in time using created:<2023-11-25 or the other filters available.