mirror of
https://github.com/Z3Prover/z3
synced 2026-03-15 17:49:59 +00:00
gh CLI is not available inside AWF so the agent could not download artifacts. Switch to GitHub MCP actions toolset for artifact URLs and add helper scripts for download and parsing.
141 lines
5 KiB
YAML
141 lines
5 KiB
YAML
#
|
|
# ___ _ _
|
|
# / _ \ | | (_)
|
|
# | |_| | __ _ ___ _ __ | |_ _ ___
|
|
# | _ |/ _` |/ _ \ '_ \| __| |/ __|
|
|
# | | | | (_| | __/ | | | |_| | (__
|
|
# \_| |_/\__, |\___|_| |_|\__|_|\___|
|
|
# __/ |
|
|
# _ _ |___/
|
|
# | | | | / _| |
|
|
# | | | | ___ _ __ _ __| |_| | _____ ____
|
|
# | |/\| |/ _ \ '__| |/ /| _| |/ _ \ \ /\ / / ___|
|
|
# \ /\ / (_) | | | | ( | | | | (_) \ V V /\__ \
|
|
# \/ \/ \___/|_| |_|\_\|_| |_|\___/ \_/\_/ |___/
|
|
#
|
|
# This file was automatically generated by pkg/workflow/maintenance_workflow.go (v0.53.4). DO NOT EDIT.
|
|
#
|
|
# To regenerate this workflow, run:
|
|
# gh aw compile
|
|
# Not all edits will cause changes to this file.
|
|
#
|
|
# For more information: https://github.github.com/gh-aw/introduction/overview/
|
|
#
|
|
# Alternative regeneration methods:
|
|
# make recompile
|
|
#
|
|
# Or use the gh-aw CLI directly:
|
|
# ./gh-aw compile --validate --verbose
|
|
#
|
|
# The workflow is generated when any workflow uses the 'expires' field
|
|
# in create-discussions, create-issues, or create-pull-request safe-outputs configuration.
|
|
# Schedule frequency is automatically determined by the shortest expiration time.
|
|
#
|
|
name: Agentic Maintenance
|
|
|
|
on:
|
|
schedule:
|
|
- cron: "37 0 * * *" # Daily (based on minimum expires: 7 days)
|
|
workflow_dispatch:
|
|
inputs:
|
|
operation:
|
|
description: 'Optional maintenance operation to run'
|
|
required: false
|
|
type: choice
|
|
default: ''
|
|
options:
|
|
- ''
|
|
- 'disable'
|
|
- 'enable'
|
|
- 'update'
|
|
- 'upgrade'
|
|
|
|
permissions: {}
|
|
|
|
jobs:
|
|
close-expired-entities:
|
|
if: ${{ !github.event.repository.fork && (github.event_name != 'workflow_dispatch' || github.event.inputs.operation == '') }}
|
|
runs-on: ubuntu-slim
|
|
permissions:
|
|
discussions: write
|
|
issues: write
|
|
pull-requests: write
|
|
steps:
|
|
- name: Setup Scripts
|
|
uses: github/gh-aw/actions/setup@b2d8af7543ec40f72bb3b8fea5148c2d3ee401c7 # v0.53.4
|
|
with:
|
|
destination: /opt/gh-aw/actions
|
|
|
|
- name: Close expired discussions
|
|
uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8
|
|
with:
|
|
script: |
|
|
const { setupGlobals } = require('/opt/gh-aw/actions/setup_globals.cjs');
|
|
setupGlobals(core, github, context, exec, io);
|
|
const { main } = require('/opt/gh-aw/actions/close_expired_discussions.cjs');
|
|
await main();
|
|
|
|
- name: Close expired issues
|
|
uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8
|
|
with:
|
|
script: |
|
|
const { setupGlobals } = require('/opt/gh-aw/actions/setup_globals.cjs');
|
|
setupGlobals(core, github, context, exec, io);
|
|
const { main } = require('/opt/gh-aw/actions/close_expired_issues.cjs');
|
|
await main();
|
|
|
|
- name: Close expired pull requests
|
|
uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8
|
|
with:
|
|
script: |
|
|
const { setupGlobals } = require('/opt/gh-aw/actions/setup_globals.cjs');
|
|
setupGlobals(core, github, context, exec, io);
|
|
const { main } = require('/opt/gh-aw/actions/close_expired_pull_requests.cjs');
|
|
await main();
|
|
|
|
run_operation:
|
|
if: ${{ github.event_name == 'workflow_dispatch' && github.event.inputs.operation != '' && !github.event.repository.fork }}
|
|
runs-on: ubuntu-slim
|
|
permissions:
|
|
actions: write
|
|
contents: write
|
|
pull-requests: write
|
|
steps:
|
|
- name: Checkout repository
|
|
uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
|
|
with:
|
|
persist-credentials: false
|
|
|
|
- name: Setup Scripts
|
|
uses: github/gh-aw/actions/setup@b2d8af7543ec40f72bb3b8fea5148c2d3ee401c7 # v0.53.4
|
|
with:
|
|
destination: /opt/gh-aw/actions
|
|
|
|
- name: Check admin/maintainer permissions
|
|
uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8
|
|
with:
|
|
github-token: ${{ secrets.GITHUB_TOKEN }}
|
|
script: |
|
|
const { setupGlobals } = require('/opt/gh-aw/actions/setup_globals.cjs');
|
|
setupGlobals(core, github, context, exec, io);
|
|
const { main } = require('/opt/gh-aw/actions/check_team_member.cjs');
|
|
await main();
|
|
|
|
- name: Install gh-aw
|
|
uses: github/gh-aw/actions/setup-cli@v0.53.4
|
|
with:
|
|
version: v0.53.4
|
|
|
|
- name: Run operation
|
|
uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8
|
|
env:
|
|
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
|
GH_AW_OPERATION: ${{ github.event.inputs.operation }}
|
|
GH_AW_CMD_PREFIX: gh aw
|
|
with:
|
|
github-token: ${{ secrets.GITHUB_TOKEN }}
|
|
script: |
|
|
const { setupGlobals } = require('/opt/gh-aw/actions/setup_globals.cjs');
|
|
setupGlobals(core, github, context, exec, io);
|
|
const { main } = require('/opt/gh-aw/actions/run_operation_update_upgrade.cjs');
|
|
await main();
|