Skip to content

CI: migrate a Linux job to Github Actions#62

Merged
Smattr merged 5 commits into
mainfrom
smattr/2f0b9a48-3157-4ac3-b32c-bd4e65079cfa
May 2, 2026
Merged

CI: migrate a Linux job to Github Actions#62
Smattr merged 5 commits into
mainfrom
smattr/2f0b9a48-3157-4ac3-b32c-bd4e65079cfa

Conversation

@Smattr
Copy link
Copy Markdown
Owner

@Smattr Smattr commented May 2, 2026

Cirrus CI is being shutdown:¹

Cirrus CI will shut down effective Monday, June 1, 2026.

So we need to migrate to something else. The best option at present seems to be Github Actions. This change effectively downgrades the compiler in use GCC 14.1 → GCC 13.2, but this seems acceptable.

¹ https://cirruslabs.org/

Cirrus CI is being shutdown:¹

  Cirrus CI will shut down effective Monday, June 1, 2026.

So we need to migrate to something else. The best option at present
seems to be Github Actions. This change effectively downgrades the
compiler in use GCC 14.1 → GCC 13.2, but this seems acceptable.

¹ https://cirruslabs.org/
@Smattr Smattr force-pushed the smattr/2f0b9a48-3157-4ac3-b32c-bd4e65079cfa branch from 79cedea to 08ffae8 Compare May 2, 2026 21:12
@Smattr Smattr force-pushed the smattr/2f0b9a48-3157-4ac3-b32c-bd4e65079cfa branch from 493d05e to efc22d9 Compare May 2, 2026 21:23
@Smattr Smattr merged commit ede42c9 into main May 2, 2026
5 of 6 checks passed
@Smattr Smattr deleted the smattr/2f0b9a48-3157-4ac3-b32c-bd4e65079cfa branch May 2, 2026 21:26
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.

1 participant