beremiz

GH CI: try reverting to previous version of ubuntu

2022-12-13, etisserant
ddadbdf20e70
Parents a89ebe406e35
Children 302492568cf4
GH CI: try reverting to previous version of ubuntu
1 files changed, 1 insertions(+), 1 deletions(-)
  • +1 -1
    .github/workflows/run_tests_in_docker.yml
    • --- a/.github/workflows/run_tests_in_docker.yml Mon Dec 05 15:53:25 2022 +0100
    +++ b/.github/workflows/run_tests_in_docker.yml Tue Dec 13 22:04:16 2022 +0100
    @@ -8,7 +8,7 @@
    build:
    - runs-on: ubuntu-latest
    + runs-on: ubuntu-20.04
    steps:
    - uses: actions/checkout@v3