php/archived-php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2026-03-24 00:02:20 +01:00
Code Issues Packages Projects Releases Wiki Activity

Do not allow concurrent runs of the real time benchmark

Browse Source 
Closes GH-19345
This commit is contained in:
Máté Kocsis
2025-08-01 11:29:32 +02:00
parent 776d6f8660
commit 55a3e33bb1
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
.github/workflows/real-time-benchmark.yml vendored
View File

@@ -45,6 +45,9 @@ on:
permissions:
contents: read
pull-requests: write
concurrency:
group: ${{ github.workflow }}
cancel-in-progress: false
jobs:
REAL_TIME_BENCHMARK:
name: REAL_TIME_BENCHMARK