Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/Roqc/.github/workflows/   (Beweissystem des Inria Version 9.1.0©)  Datei vom 15.8.2025 mit Größe 447 B image not shown  

Quelle  stale.yml   Sprache: unbekannt

 
name: Stale PRs

on:
  schedule:
    # Every workday at 2am
    - cron: '0 2 * * 1-5'

permissions:
  contents: read

jobs:
  stale_prs:
    # Do not run on forks (we want this request to happen only once every night)
    permissions:
      contents: none
    if: github.repository_owner == 'coq'
    runs-on: ubuntu-latest
    steps:
      - run: curl -d "coq:coq:${{ secrets.DAILY_SCHEDULE_SECRET }}" https://coqbot.herokuapp.com/check-stale-pr

[ Dauer der Verarbeitung: 0.18 Sekunden  (vorverarbeitet)  ]