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 472 B image not shown  

Quelle  check-conflicts.yml   Sprache: unbekannt

 
name: "Check conflicts"
on: [push]
# Only on push because @coqbot already takes care of checking for
# conflicts when PRs are opened or synchronized

permissions:
  contents: read

jobs:
  main:
    permissions:
      pull-requests: write
    runs-on: ubuntu-latest
    steps:
      - uses: eps1lon/actions-label-merge-conflict@b8bf8341285ec9a4567d4318ba474fee998a6919
        with:
          dirtyLabel: "needs: rebase"
          repoToken: "${{ secrets.GITHUB_TOKEN }}"

[ Dauer der Verarbeitung: 0.13 Sekunden  (vorverarbeitet)  ]