mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-12-01 01:37:13 +00:00
Code Activity

add roles

Browse source
This commit is contained in:
Don Syme 2025-09-17 00:04:24 +01:00
parent 6d3daa5338
commit 647c8cc6c1
8 changed files with 2877 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -2,7 +2,7 @@
# To update this file, edit the corresponding .md file and run:
# gh aw compile
#
# Effective stop-time: 2025-09-18 22:30:51
# Effective stop-time: 2025-09-18 23:04:00
name: "Question Answering Researcher"
on:
@ -37,7 +37,7 @@ jobs:
id: check-team-member
uses: actions/github-script@v8
env:
GITHUB_AW_REQUIRED_ROLES: admin,maintainer
GITHUB_AW_REQUIRED_ROLES: admin,maintainer,write
with:
script: |
async function setCancelled(message) {
@ -1066,7 +1066,7 @@ jobs:
WORKFLOW_NAME="Question Answering Researcher"
# Check stop-time limit
STOP_TIME="2025-09-18 22:30:51"
STOP_TIME="2025-09-18 23:04:00"
echo "Checking stop-time limit: $STOP_TIME"
# Convert stop time to epoch seconds