ci: drop cirrus #39321

Problem:
cirrus will shutdown soon, and we are running out of minutes anyway,
which causes ci failures.

Solution:
Drop cirrus config.

(cherry picked from commit 82198d0a66)
This commit is contained in:
Justin M. Keyes
2026-04-22 18:25:07 -04:00
committed by github-actions[bot]
parent b46688feee
commit 14eea10ec5
11 changed files with 8 additions and 63 deletions

View File

@@ -790,7 +790,7 @@ function M.write_file(name, text, no_dedent, append)
file:close()
end
--- @param name? 'cirrus'|'github'
--- @param name? 'github'
--- @return boolean
function M.is_ci(name)
return harness.is_ci(name)