Skip to content

chore: bump tde2e_git #3168

chore: bump tde2e_git

chore: bump tde2e_git #3168

Workflow file for this run

name: Organize pull requests
on:
merge_group:
pull_request_target:
types: [opened, synchronize, reopened]
concurrency:
group: concurrency-${{ github.event.pull_request.number }}
jobs:
pr-lint:
name: Lint PR
if: github.event_name != 'merge_group'
# Never ever ever run this on self-hosted runners
runs-on: ubuntu-latest # Did you read the disclaimer?
outputs:
fmt: ${{ steps.linter.outcome }}
steps:
- name: Checkout base for local actions
uses: actions/checkout@v7
- name: Check PR Trust
id: trust
uses: ./.github/actions/check-pr-trust
- name: Checkout code
uses: actions/checkout@v7
with:
ref: ${{ github.event.pull_request.head.sha || github.sha }}
allow-unsafe-pr-checkout: ${{ steps.trust.outputs.is_safe == 'true' }}
- name: Install Nix
uses: cachix/install-nix-action@v31
with:
extra_nix_config: |
accept-flake-config = true
system-features = big-parallel gccarch-x86-64-v3
nix_path: "nixpkgs=channel:nixpkgs-unstable"
- name: Run linter
run: nix run ./maintenance#chaotic-nyx.linter
id: linter
working-directory: ${{ github.workspace }}
pr-lint-organize:
name: Organize Linted PR
# Never ever ever run this on self-hosted runners
runs-on: ubuntu-latest # Did you read the disclaimer?
permissions:
pull-requests: write
needs: pr-lint
if: (!cancelled() && (contains(github.event.pull_request.labels.*.name, 'cached') || (needs.pr-lint.outputs.fmt == 'failure' && github.event.action == 'opened')))
steps:
- name: Add comment
if: needs.pr-lint.outputs.fmt == 'failure' && github.event.action == 'opened'
uses: actions/github-script@v9
with:
script: |
github.rest.issues.createComment({
issue_number: context.issue.number,
owner: context.repo.owner,
repo: context.repo.repo,
body: "Thank you for contributing to nyx! Please run `nix fmt` on your code before submitting a pull request. Afterwards, please force push your changes."
})
- name: Remove cached label
if: contains(github.event.pull_request.labels.*.name, 'cached')
uses: actions/github-script@v9
with:
script: |
github.rest.issues.removeLabel({
issue_number: context.issue.number,
owner: context.repo.owner,
repo: context.repo.repo,
name: "cached"
})