All Workflows CI

75 workflow runs

Actor

All actors andrew weaselbot

Status

All status Success Failure Canceled Skipped Waiting Running Blocked Canceling

Branch

All branches main release-0.0

Set restype=None for void-returning C functions in conflict_set.py

CI #22:Commit 742d920aa1 pushed by andrew

#53

2026-06-22 00:57:13 +00:00

1h30m12s

View workflow file

Replace CI Docker image with inline apt installs

CI #21:Commit 6d8b939a81 pushed by andrew

main

2026-06-22 00:32:05 +00:00

1h9m42s

View workflow file

Pin CI steps that use bashisms to bash

CI #13:Commit 48f9ee46cf pushed by andrew

main

2026-06-12 22:36:50 +00:00

29m55s

View workflow file

Print test summaries to the step log too

CI #12:Commit 1394a1a98f pushed by andrew

main

2026-06-12 21:42:19 +00:00

19m6s

View workflow file

Add markdown test summaries and a coverage HTML report to CI

CI #11:Commit c52339a2ba pushed by andrew

main

2026-06-12 21:24:41 +00:00

16m57s

View workflow file

Work around arm64 clang codegen issues breaking CI

CI #10:Commit 3a82d90914 pushed by andrew

main

2026-06-12 20:56:57 +00:00

16m26s

View workflow file

Only pass -pie when linking executables

CI #9:Commit f947d883e7 pushed by andrew

main

2026-06-12 18:31:12 +00:00

10m30s

View workflow file

Add nodejs to the CI image

CI #8:Commit 19f430d68f pushed by andrew

main

2026-06-12 16:54:50 +00:00

19m59s

View workflow file

Pass registry credentials via env instead of script interpolation

CI #7:Commit 13e9e88e0e pushed by andrew

main

2026-06-12 16:34:20 +00:00

8m0s

View workflow file

Track the CI image hash with a label instead of a tag

CI #6:Commit 12a62a91cf pushed by andrew

main

2026-06-12 16:21:57 +00:00

3m48s

View workflow file

Install clang from Ubuntu and push image from buildx

CI #5:Commit 04d02261e9 pushed by andrew

main

2026-06-12 16:12:24 +00:00

5m16s

View workflow file

Add temporary docker socket debug step

CI #4:Commit 776d06963b pushed by andrew

main

2026-06-12 16:07:14 +00:00

10m50s

View workflow file

Run docker with sudo in build-image

CI #3:Commit e03afe0651 pushed by andrew

main

2026-06-12 15:52:39 +00:00

9m9s

View workflow file

Use a registry bot account for the container registry

CI #2:Commit 6eecf6e4ac pushed by andrew

main

2026-06-12 15:35:39 +00:00

10m21s

View workflow file

Convert Jenkins CI to Gitea Actions

CI #1:Commit d74a12b5a4 pushed by andrew

main

2026-06-12 15:14:44 +00:00

38s

View workflow file