Skip to content

Replace defunct CI with GitHub Actions#74

Merged
caolanm merged 9 commits into
masterfrom
private/caolan/ci
May 18, 2026
Merged

Replace defunct CI with GitHub Actions#74
caolanm merged 9 commits into
masterfrom
private/caolan/ci

Replace defunct CI with GitHub Actions

cdbbe7e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
linux (gcc)
succeeded May 18, 2026 in 5m 12s