diff --git a/.github/workflows/qf-s-benchmark.lock.yml b/.github/workflows/qf-s-benchmark.lock.yml index 6d18b7a44..724904b33 100644 --- a/.github/workflows/qf-s-benchmark.lock.yml +++ b/.github/workflows/qf-s-benchmark.lock.yml @@ -28,8 +28,7 @@ name: "Qf S Benchmark" "on": schedule: - - cron: "16 3 * * 3" - # Friendly format: weekly (scattered) + - cron: "0 0,12 * * *" workflow_dispatch: permissions: {} diff --git a/.github/workflows/qf-s-benchmark.md b/.github/workflows/qf-s-benchmark.md index 8bf74de0d..48db061a7 100644 --- a/.github/workflows/qf-s-benchmark.md +++ b/.github/workflows/qf-s-benchmark.md @@ -2,7 +2,8 @@ description: Run Z3 string solver benchmarks (seq vs nseq) on QF_S test suite from the c3 branch and post results as a GitHub discussion on: - schedule: weekly + schedule: + - cron: "0 0,12 * * *" workflow_dispatch: permissions: read-all