Skip to content

Add GitHub CI setup based on the Cirrus configuration - #508

Merged
timwoj merged 1 commit into
masterfrom
topic/timw/github-ci-setup
Jul 21, 2026
Merged

timwoj merged 1 commit into
masterfrom
topic/timw/github-ci-setup

Conversation

@timwoj

@timwoj timwoj commented Jul 21, 2026 •

Copy link
Copy Markdown
Member

This PR adds a basic GitHub CI setup. It skips using our Dockerfiles, instead adding some scripts that do the package installations and whatnot. It also removes the FreeBSD builds.

This was almost entirely generated by Claude, based on the existing Cirrus configuration. The only manual changes I made were to modify the uses: lines to use commit hashes instead of version tags.

Fixes #507

@timwoj
timwoj force-pushed the topic/timw/github-ci-setup branch 4 times, most recently from 5f30747 to 27e1b90 Compare July 21, 2026 01:10
@timwoj timwoj linked an issue Jul 21, 2026 that may be closed by this pull request
@timwoj
timwoj force-pushed the topic/timw/github-ci-setup branch from 27e1b90 to b659664 Compare July 21, 2026 01:23
Co-Authored-By: Claude <noreply@anthropic.com>
@timwoj
timwoj force-pushed the topic/timw/github-ci-setup branch from b659664 to 5aaf34e Compare July 21, 2026 03:11

@awelzel awelzel left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM.

Comment thread ci/debian-12/prepare.sh
set -x

export DEBIAN_FRONTEND=noninteractive
export TZ=America/Los_Angeles

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I find setting TZ, specifically to America/Los_Angeles, a bit strange, but seems we're doing that over in zeek/zeek as well 🤷‍♂️

@timwoj
timwoj merged commit ce535e1 into master Jul 21, 2026
16 checks passed
@timwoj
timwoj deleted the topic/timw/github-ci-setup branch July 21, 2026 15:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Bring back basic CI after Cirrus shutdown

2 participants