New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix and upgrade CI #17

Merged

tpoignonec merged 1 commit into main from fix_CI_and_mergify

Jun 27, 2024

Member

tpoignonec commented Jun 27, 2024 •

edited

Loading

fix unbuntu distro for rolling CI
switch iron CI to jazzy
update badges


          switch iron CI to jazzy

81b3062

github-actions bot commented Jun 27, 2024

Test Results

11 tests ±0 11 ✅ ±0 0s ⏱️ ±0s
5 suites ±0 0 💤 ±0
4 files ±0 0 ❌ ±0

Results for commit 81b3062. ± Comparison against base commit a7a2d01.

tpoignonec merged commit 602ddbc into main

5 checks passed

tpoignonec deleted the fix_CI_and_mergify branch

June 27, 2024 13:39

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet