Skip to content

chore: update Intel MacOS image to macos-15-intel#2570

Merged
julienhenry merged 1 commit intosouffle-lang:masterfrom
quentin:ci-macos-15
Dec 10, 2025
Merged

chore: update Intel MacOS image to macos-15-intel#2570
julienhenry merged 1 commit intosouffle-lang:masterfrom
quentin:ci-macos-15

Conversation

@quentin
Copy link
Member

@quentin quentin commented Dec 10, 2025

Github's macos-13 is now deprecated, see actions/runner-images#13046

@quentin quentin added the infrastructure continuous-integration and other infra-related label Dec 10, 2025
@codecov
Copy link

codecov bot commented Dec 10, 2025

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 81.18%. Comparing base (7bb8e64) to head (3712630).
⚠️ Report is 4 commits behind head on master.

Additional details and impacted files

Impacted file tree graph

@@            Coverage Diff             @@
##           master    #2570      +/-   ##
==========================================
- Coverage   81.19%   81.18%   -0.01%     
==========================================
  Files         492      492              
  Lines       31008    31008              
==========================================
- Hits        25176    25174       -2     
- Misses       5832     5834       +2     

see 2 files with indirect coverage changes

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@quentin quentin requested a review from julienhenry December 10, 2025 09:01
@quentin quentin marked this pull request as ready for review December 10, 2025 09:01
@julienhenry julienhenry merged commit bb64a82 into souffle-lang:master Dec 10, 2025
36 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

infrastructure continuous-integration and other infra-related

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants