Apply exemplar's new CI system#32
Merged
dietmarkuehl merged 1 commit intobemanproject:mainfrom Jul 11, 2025
ednolan:enolan_exemplarify1
Merged
Apply exemplar's new CI system#32dietmarkuehl merged 1 commit intobemanproject:mainfrom ednolan:enolan_exemplarify1
dietmarkuehl merged 1 commit intobemanproject:mainfrom
ednolan:enolan_exemplarify1
Conversation
This commit applies the following changes: - Add bemanproject/infra-workflows as a beman-submodule in .github/workflows - Add bemanproject/infra as a beman-submodule in infra/ - Copy over the latest CMakePresets.json file from exemplar - Add an empty lockfile.json to make infra/cmake/use-fetch-content.cmake happy - Update the ci_tests.yml file to provide CI configurations for GCC 11-15 (but not 12 since it fails CI) and Clang 17-20 - Update the README to add a code coverage badge - Remove the set(CMAKE_CXX_STANDARD 23) setting from CMakeLists.txt since it violates beman's [CMAKE.PASSIVE_PROJECT] rule - Correspondingly update the Makefile to apply -DCMAKE_CXX_STANDARD=23 - Bump the git commit for the execution dependency to the latest version
dietmarkuehl
approved these changes
Jul 11, 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
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.
This commit applies the following changes: