2 Commits

Author	SHA1	Message	Date
Erick Cestari	e3f409e3c4	ci: update Kani GitHub Actions runners to ubuntu-24.04 ... GitHub is deprecating the ubuntu-20.04 runner, with removal scheduled for 2025-04-01 (see: https://github.com/actions/runner-images/issues/11101) This commit updates workflow files to use ubuntu-24.04 instead.	2025-03-04 14:11:22 -03:00
Andrew Poelstra	f82567fda4	ci: rename a couple .yml files to indicate that they're scheduled ... A small attempt to organize the various github workflows	2024-02-28 20:47:39 +00:00

Renamed from .github/workflows/kani.yml (Browse further)