Skip macOS testing in release: Make macOS testing non-blocking#4856
Merged
F-WRunTime merged 8 commits intodevelopfrom Sep 13, 2025
Merged
Skip macOS testing in release: Make macOS testing non-blocking#4856F-WRunTime merged 8 commits intodevelopfrom
F-WRunTime merged 8 commits intodevelopfrom
Conversation
- During release do not be dependent on MacOS Release
- Change from installing specific bottle filename to using wildcard pattern - Add debugging output to see available files - Use pattern matching like the original brew-install-bottle script - This should resolve the 'No formulae or casks found' error The issue was that brew install was trying to interpret the .tar.gz filename as a formula name instead of installing the local bottle file.
- Add test-macos-build job to catch macOS build issues during PR testing - Mirror release workflow's macOS package building and testing logic - Update all LLVM version references from 15 to 17 for consistency - Prevent macOS build failures from only being discovered during release This addresses the macOS build failure in the release workflow by adding proactive testing in the PR workflow, ensuring issues are caught earlier in the development cycle.
- Add test-macos-build job to catch macOS build issues during PR testing - Mirror release workflow's macOS package building and testing logic - Prevent macOS build failures from only being discovered during release This addresses the macOS build failure in the release workflow by adding proactive testing in the PR workflow, ensuring issues are caught earlier in the development cycle.
…lation - Replace bottle installation test with formula validation and source build - Use brew audit to validate formula syntax - Install from source instead of non-existent bottle files - Create test tarball from current code if release tarball unavailable - Update artifact upload to include formula file for debugging This resolves the 'No formulae or casks found' error in PR testing by testing the actual formula validation and source installation process rather than trying to install non-existent bottle files.
- Remove brew tap step that was causing path mismatch error - Use direct formula validation with brew audit - Install directly from formula file instead of tapping repository - Simplify approach to avoid git repository path conflicts This resolves the 'Tap runtimeverification/k remote mismatch' error by eliminating the problematic brew tap command entirely.
F-WRunTime
changed the title
- Use 'brew tap --force-local' to add local formula as tap - Use 'brew audit --strict kframework' with formula name instead of file path - This resolves the 'Calling brew audit [path ...] is disabled' error The correct approach is to tap the local directory and then audit by formula name.
Focus this PR on making macOS testing non-blocking in releases only. macOS PR testing will be implemented in a separate feature branch.
F-WRunTime
changed the title
palinatolmach
approved these changes
Sep 12, 2025
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
This PR addresses macOS testing improvements in two key areas:
1. Make macOS Testing Non-Blocking in Release Process
continue-on-error: trueto macOS test job in release workflowChanges Made
Release Workflow (
.github/workflows/release.yml)continue-on-error: truetomacos-testjobBenefits
Testing