wip
This commit is contained in:
parent
d32b7d8770
commit
31f31e5adf
2
.github/workflows/osrm-backend.yml
vendored
2
.github/workflows/osrm-backend.yml
vendored
@ -636,7 +636,7 @@ jobs:
|
|||||||
benchmarks:
|
benchmarks:
|
||||||
if: github.event_name == 'pull_request'
|
if: github.event_name == 'pull_request'
|
||||||
# needs: [format-taginfo-docs]
|
# needs: [format-taginfo-docs]
|
||||||
runs-on: benchmarks
|
runs-on: benchmark-runner
|
||||||
env:
|
env:
|
||||||
CCOMPILER: clang-13
|
CCOMPILER: clang-13
|
||||||
CXXCOMPILER: clang++-13
|
CXXCOMPILER: clang++-13
|
||||||
|
Loading…
Reference in New Issue
Block a user