mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-09-18 15:41:28 +00:00
Code Activity

allow burner to create PRs

Browse source
This commit is contained in:
Don Syme 2025-09-17 02:41:38 +01:00
parent 81da4be228
commit 5b70f75d89
8 changed files with 20 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

4
.github/workflows/ask.lock.yml generated vendored
View file

@ -2,7 +2,7 @@
# To update this file, edit the corresponding .md file and run: # To update this file, edit the corresponding .md file and run:
# gh aw compile # gh aw compile
# #
# Effective stop-time: 2025-09-18 23:04:00 # Effective stop-time: 2025-09-19 01:41:09
name: "Question Answering Researcher" name: "Question Answering Researcher"
on: on:
@ -1066,7 +1066,7 @@ jobs:
WORKFLOW_NAME="Question Answering Researcher" WORKFLOW_NAME="Question Answering Researcher"
# Check stop-time limit # Check stop-time limit
STOP_TIME="2025-09-18 23:04:00" STOP_TIME="2025-09-19 01:41:09"
echo "Checking stop-time limit: $STOP_TIME" echo "Checking stop-time limit: $STOP_TIME"
# Convert stop time to epoch seconds # Convert stop time to epoch seconds

4
.github/workflows/ci-doctor.lock.yml generated vendored
View file

@ -2,7 +2,7 @@
# To update this file, edit the corresponding .md file and run: # To update this file, edit the corresponding .md file and run:
# gh aw compile # gh aw compile
# #
# Effective stop-time: 2025-09-18 23:04:00 # Effective stop-time: 2025-09-19 01:41:09
name: "CI Failure Doctor" name: "CI Failure Doctor"
"on": "on":
@ -547,7 +547,7 @@ jobs:
WORKFLOW_NAME="CI Failure Doctor" WORKFLOW_NAME="CI Failure Doctor"
# Check stop-time limit # Check stop-time limit
STOP_TIME="2025-09-18 23:04:00" STOP_TIME="2025-09-19 01:41:09"
echo "Checking stop-time limit: $STOP_TIME" echo "Checking stop-time limit: $STOP_TIME"
# Convert stop time to epoch seconds # Convert stop time to epoch seconds

7
.github/workflows/daily-backlog-burner.lock.yml generated vendored
View file

@ -2,7 +2,7 @@
# To update this file, edit the corresponding .md file and run: # To update this file, edit the corresponding .md file and run:
# gh aw compile # gh aw compile
# #
# Effective stop-time: 2025-09-19 01:20:03 # Effective stop-time: 2025-09-19 01:41:09
name: "Daily Backlog Burner" name: "Daily Backlog Burner"
"on": "on":
@ -527,7 +527,7 @@ jobs:
WORKFLOW_NAME="Daily Backlog Burner" WORKFLOW_NAME="Daily Backlog Burner"
# Check stop-time limit # Check stop-time limit
STOP_TIME="2025-09-19 01:20:03" STOP_TIME="2025-09-19 01:41:09"
echo "Checking stop-time limit: $STOP_TIME" echo "Checking stop-time limit: $STOP_TIME"
# Convert stop time to epoch seconds # Convert stop time to epoch seconds
@ -2389,6 +2389,7 @@ jobs:
GITHUB_AW_AGENT_OUTPUT: ${{ needs.daily-backlog-burner.outputs.output }} GITHUB_AW_AGENT_OUTPUT: ${{ needs.daily-backlog-burner.outputs.output }}
GITHUB_AW_ISSUE_TITLE_PREFIX: "${{ github.workflow }}" GITHUB_AW_ISSUE_TITLE_PREFIX: "${{ github.workflow }}"
with: with:
github-token: ${{ secrets.DSYME_GH_TOKEN}}
script: | script: |
async function main() { async function main() {
// Check if we're in staged mode // Check if we're in staged mode
@ -2588,6 +2589,7 @@ jobs:
GITHUB_AW_AGENT_OUTPUT: ${{ needs.daily-backlog-burner.outputs.output }} GITHUB_AW_AGENT_OUTPUT: ${{ needs.daily-backlog-burner.outputs.output }}
GITHUB_AW_COMMENT_TARGET: "*" GITHUB_AW_COMMENT_TARGET: "*"
with: with:
github-token: ${{ secrets.DSYME_GH_TOKEN}}
script: | script: |
async function main() { async function main() {
// Check if we're in staged mode // Check if we're in staged mode
@ -2810,6 +2812,7 @@ jobs:
GITHUB_AW_PR_DRAFT: "true" GITHUB_AW_PR_DRAFT: "true"
GITHUB_AW_PR_IF_NO_CHANGES: "warn" GITHUB_AW_PR_IF_NO_CHANGES: "warn"
with: with:
github-token: ${{ secrets.DSYME_GH_TOKEN}}
script: | script: |
/** @type {typeof import("fs")} */ /** @type {typeof import("fs")} */
const fs = require("fs"); const fs = require("fs");

1
.github/workflows/daily-backlog-burner.md vendored
View file

@ -19,6 +19,7 @@ safe-outputs:
max: 3 max: 3
create-pull-request: create-pull-request:
draft: true draft: true
github-token: ${{ secrets.DSYME_GH_TOKEN}}
tools: tools:
web-fetch: web-fetch:

4
.github/workflows/daily-perf-improver.lock.yml generated vendored
View file

@ -2,7 +2,7 @@
# To update this file, edit the corresponding .md file and run: # To update this file, edit the corresponding .md file and run:
# gh aw compile # gh aw compile
# #
# Effective stop-time: 2025-09-18 23:04:00 # Effective stop-time: 2025-09-19 01:41:09
name: "Daily Perf Improver" name: "Daily Perf Improver"
"on": "on":
@ -541,7 +541,7 @@ jobs:
WORKFLOW_NAME="Daily Perf Improver" WORKFLOW_NAME="Daily Perf Improver"
# Check stop-time limit # Check stop-time limit
STOP_TIME="2025-09-18 23:04:00" STOP_TIME="2025-09-19 01:41:09"
echo "Checking stop-time limit: $STOP_TIME" echo "Checking stop-time limit: $STOP_TIME"
# Convert stop time to epoch seconds # Convert stop time to epoch seconds

4
.github/workflows/daily-test-improver.lock.yml generated vendored
View file

@ -2,7 +2,7 @@
# To update this file, edit the corresponding .md file and run: # To update this file, edit the corresponding .md file and run:
# gh aw compile # gh aw compile
# #
# Effective stop-time: 2025-09-18 23:04:00 # Effective stop-time: 2025-09-19 01:41:09
name: "Daily Test Coverage Improver" name: "Daily Test Coverage Improver"
"on": "on":
@ -541,7 +541,7 @@ jobs:
WORKFLOW_NAME="Daily Test Coverage Improver" WORKFLOW_NAME="Daily Test Coverage Improver"
# Check stop-time limit # Check stop-time limit
STOP_TIME="2025-09-18 23:04:00" STOP_TIME="2025-09-19 01:41:09"
echo "Checking stop-time limit: $STOP_TIME" echo "Checking stop-time limit: $STOP_TIME"
# Convert stop time to epoch seconds # Convert stop time to epoch seconds

7
.github/workflows/pr-fix.lock.yml generated vendored
View file

@ -2,7 +2,7 @@
# To update this file, edit the corresponding .md file and run: # To update this file, edit the corresponding .md file and run:
# gh aw compile # gh aw compile
# #
# Effective stop-time: 2025-09-18 23:04:00 # Effective stop-time: 2025-09-19 01:41:09
name: "PR Fix" name: "PR Fix"
on: on:
@ -1071,7 +1071,7 @@ jobs:
WORKFLOW_NAME="PR Fix" WORKFLOW_NAME="PR Fix"
# Check stop-time limit # Check stop-time limit
STOP_TIME="2025-09-18 23:04:00" STOP_TIME="2025-09-19 01:41:09"
echo "Checking stop-time limit: $STOP_TIME" echo "Checking stop-time limit: $STOP_TIME"
# Convert stop time to epoch seconds # Convert stop time to epoch seconds
@ -2811,6 +2811,7 @@ jobs:
GITHUB_AW_AGENT_OUTPUT: ${{ needs.pr-fix.outputs.output }} GITHUB_AW_AGENT_OUTPUT: ${{ needs.pr-fix.outputs.output }}
GITHUB_AW_ISSUE_TITLE_PREFIX: "${{ github.workflow }}" GITHUB_AW_ISSUE_TITLE_PREFIX: "${{ github.workflow }}"
with: with:
github-token: ${{ secrets.DSYME_GH_TOKEN}}
script: | script: |
async function main() { async function main() {
// Check if we're in staged mode // Check if we're in staged mode
@ -3011,6 +3012,7 @@ jobs:
env: env:
GITHUB_AW_AGENT_OUTPUT: ${{ needs.pr-fix.outputs.output }} GITHUB_AW_AGENT_OUTPUT: ${{ needs.pr-fix.outputs.output }}
with: with:
github-token: ${{ secrets.DSYME_GH_TOKEN}}
script: | script: |
async function main() { async function main() {
// Check if we're in staged mode // Check if we're in staged mode
@ -3234,6 +3236,7 @@ jobs:
GITHUB_AW_AGENT_OUTPUT: ${{ needs.pr-fix.outputs.output }} GITHUB_AW_AGENT_OUTPUT: ${{ needs.pr-fix.outputs.output }}
GITHUB_AW_PUSH_IF_NO_CHANGES: "warn" GITHUB_AW_PUSH_IF_NO_CHANGES: "warn"
with: with:
github-token: ${{ secrets.DSYME_GH_TOKEN}}
script: | script: |
async function main() { async function main() {
/** @type {typeof import("fs")} */ /** @type {typeof import("fs")} */

1
.github/workflows/pr-fix.md vendored
View file

@ -15,6 +15,7 @@ safe-outputs:
create-issue: create-issue:
title-prefix: "${{ github.workflow }}" title-prefix: "${{ github.workflow }}"
add-issue-comment: add-issue-comment:
github-token: ${{ secrets.DSYME_GH_TOKEN}}
tools: tools:
web-fetch: web-fetch: