Skip to content
rustc-pull

rustc-pull #48

Sign in to view logs

rustc-pull

rustc-pull #48

Workflow file for this run

.github/workflows/rustc-pull.yml at 0549d8c
name: rustc-pull
on:
workflow_dispatch:
schedule:
# Run at 04:00 UTC every Monday and Thursday
- cron: '0 4 * * 1,4'
jobs:
pull:
if: github.repository == 'rust-lang/rustc-dev-guide'
uses: rust-lang/josh-sync/.github/workflows/rustc-pull.yml@main

Check failure on line 12 in .github/workflows/rustc-pull.yml

View workflow run for this annotation

GitHub Actions / rustc-pull

Invalid workflow file 

The workflow is not valid. .github/workflows/rustc-pull.yml (Line: 12, Col: 11): Input github-app-id is required, but not provided while calling. .github/workflows/rustc-pull.yml (Line: 12, Col: 11): Secret github-app-secret is required, but not provided while calling.
with:
zulip-stream-id: 196385
zulip-bot-email: "rustc-dev-guide-gha-notif-bot@rust-lang.zulipchat.com"
pr-base-branch: master
branch-name: rustc-pull
secrets:
zulip-api-token: ${{ secrets.ZULIP_API_TOKEN }}
token: ${{ secrets.GITHUB_TOKEN }}