Message ID | 3b337606-9141-59cd-a9f5-936942f0ccc0@gnuweeb.org (mailing list archive) |
---|---|
State | New |
Headers | show |
Series | [GIT,PULL,liburing] GitHub bot updates 2022-07-11 | expand |
On 7/11/22 7:50 AM, Ammar Faizi wrote: > > Hello Jens, > > GitHub bot updates for liburing: > > - Upgrade GitHub bot to Ubuntu 22.04 and gcc-11 (default gcc version on > Ubuntu 22.04). > > - Use -O3 optimization. Pulled, thanks.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index fc119cb..333929c 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -7,7 +7,7 @@ on: jobs: build: - runs-on: ubuntu-latest + runs-on: ubuntu-22.04 strategy: fail-fast: false @@ -84,7 +84,7 @@ jobs: cxx: mips-linux-gnu-g++ env: - FLAGS: -g -O2 -Wall -Wextra -Werror + FLAGS: -g -O3 -Wall -Wextra -Werror steps: - name: Checkout source