--- push to main runs
CI-RUN-CONTEXT: branch=main is_main=true
EFFECT-BODY: CI_BRANCH=main
--- push to a gitea-mq batch branch is skipped
EFFECT-GUARD: skipping outside a push to main (event=push ref=refs/heads/gitea-mq/batch/7)
--- pull request against main is skipped
EFFECT-GUARD: skipping outside a push to main (event=pull_request ref=)
--- missing id-token endpoint is refused
EFFECT-GUARD: NIXBOT_ID_TOKEN_REQUEST_URL and NIXBOT_ID_TOKEN_REQUEST_TOKEN are required; declare idTokenAudiences on the effect
--- failed token fetch is refused
EFFECT-GUARD: failed to obtain an id token from nixbot