Compare commits

..

No commits in common. "main" and "1.3.3" have entirely different histories.
main ... 1.3.3

2 changed files with 0 additions and 13 deletions

View file

@ -162,10 +162,6 @@ jobs:
pushd break_interval_clone >&/dev/null
git checkout "${GITHUB_REF_NAME}"
# Patch CMakeLists.txt as some flags aren't yet supported by Debian's GCC.
sed -i -e 's/-fstrict-flex-arrays=3//g' CMakeLists.txt
cmake -S . -B buildRelease -DCMAKE_BUILD_TYPE=Release
make -C buildRelease
@ -222,10 +218,6 @@ jobs:
pushd break_interval_clone >&/dev/null
git checkout "${GITHUB_REF_NAME}"
# Patch CMakeLists.txt as some flags aren't yet supported by Debian's GCC.
sed -i -e 's/-fstrict-flex-arrays=3//g' CMakeLists.txt
cmake -S . -B buildRelease -DCMAKE_BUILD_TYPE=Release
make -C buildRelease

View file

@ -2,11 +2,6 @@
## Upcoming Changes
## Version 1.3.4
Fix Debian build in workflow/action. This means that the debian-built releases
should be fixed now.
## Version 1.3.3
Minor tweak to action/workflow for release assets.