Skip to content

Actions: trealla-prolog/trealla

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yaml
119 workflow run results
119 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build Build #1351: by infradig
October 4, 2023 09:02 3m 18s
October 4, 2023 09:02 3m 18s
Speed up bb_b_put/2 (and nsudoku x3) Build #1350: Commit 835345b pushed by infradig
October 4, 2023 09:02 3m 37s main
main
October 4, 2023 09:02 3m 37s
Build Build #1349: by infradig
October 4, 2023 08:07 3m 46s
October 4, 2023 08:07 3m 46s
WIP Build #1348: Commit ac5c3c1 pushed by infradig
October 4, 2023 08:07 4m 29s main
main
October 4, 2023 08:07 4m 29s
Build Build #1347: by infradig
October 4, 2023 03:52 4m 17s
October 4, 2023 03:52 4m 17s
Merge branch 'devel' Build #1346: Commit 4c3c3f8 pushed by infradig
October 4, 2023 03:52 3m 47s main
main
October 4, 2023 03:52 3m 47s
Build Build #1345: by infradig
October 4, 2023 03:18 3m 21s
October 4, 2023 03:18 3m 21s
Merge branch 'devel' Build #1344: Commit d98ed0b pushed by infradig
October 4, 2023 03:18 3m 36s main
main
October 4, 2023 03:18 3m 36s
Build Build #1343: by infradig
October 4, 2023 02:54 4m 44s
October 4, 2023 02:54 4m 44s
Merge branch 'devel' Build #1342: Commit 41630e9 pushed by infradig
October 4, 2023 02:54 3m 2s main
main
October 4, 2023 02:54 3m 2s
Build Build #1341: by infradig
October 4, 2023 02:38 3m 30s
October 4, 2023 02:38 3m 30s
Merge branch 'devel' Build #1340: Commit 82097be pushed by infradig
October 4, 2023 02:38 3m 14s main
main
October 4, 2023 02:38 3m 14s
Build Build #1339: by infradig
October 4, 2023 00:03 3m 40s
October 4, 2023 00:03 3m 40s
Merge branch 'devel' Build #1338: Commit 6839ef8 pushed by infradig
October 4, 2023 00:03 3m 19s main
main
October 4, 2023 00:03 3m 19s
Merge branch 'devel' Build #1337: Commit 4e530aa pushed by infradig
October 3, 2023 07:02 3m 40s main
main
October 3, 2023 07:02 3m 40s
Build Build #1336: by infradig
October 3, 2023 07:00 3m 18s
October 3, 2023 07:00 3m 18s
Rewrote put_atts/2 & get_atts/2 as builtin C calls. Build #1335: Commit cc20a00 pushed by infradig
October 3, 2023 07:00 3m 11s main
main
October 3, 2023 07:00 3m 11s
Build Build #1334: by infradig
October 2, 2023 22:46 4m 17s
October 2, 2023 22:46 4m 17s
WIP Build #1333: Commit 6c880bd pushed by infradig
October 2, 2023 22:46 3m 12s main
main
October 2, 2023 22:46 3m 12s
Build Build #1332: by infradig
October 2, 2023 22:30 3m 41s
October 2, 2023 22:30 3m 41s
WIP, re issue #354 Build #1331: Commit 79212bf pushed by infradig
October 2, 2023 22:30 4m 19s main
main
October 2, 2023 22:30 4m 19s
Build Build #1330: by infradig
October 2, 2023 22:10 3m 14s
October 2, 2023 22:10 3m 14s
WIP, re issue #355 Build #1329: Commit 1b6377c pushed by infradig
October 2, 2023 22:10 3m 9s main
main
October 2, 2023 22:10 3m 9s
Build Build #1328: by infradig
October 2, 2023 08:53 3m 21s
October 2, 2023 08:53 3m 21s
Enable goal-expansion for put_attr/get_attr/del_attr... speeds things up Build #1327: Commit 5cbfcaf pushed by infradig
October 2, 2023 08:53 3m 10s main
main
October 2, 2023 08:53 3m 10s