Files
lean-bench/.gitea/workflows/runner-probe.yml
T

30 lines
669 B
YAML

name: runner-probe
on:
push:
branches: [main]
paths:
- ".gitea/workflows/runner-probe.yml"
- ".gitea/scripts/runner-probe.mjs"
workflow_dispatch:
jobs:
probe:
if: gitea.ref == 'refs/heads/main'
runs-on: gitea-cicd-server-for-CODEX
timeout-minutes: 10
steps:
- uses: actions/checkout@v4
- name: Identify the runner
run: |
set -eu
echo "runner=${RUNNER_NAME:-unknown}"
echo "labels=${RUNNER_LABELS:-unknown}"
uname -a
id
df -h /
- name: Check Docker and find the uploaded Iowa algebra PDF
run: node .gitea/scripts/runner-probe.mjs