ockam: 0.132.0 -> 0.134.0 #425381

	name: "Checking EditorConfig"

	permissions: read-all

	on:
	# avoids approving first time contributors
	pull_request_target:
	branches-ignore:
	- 'release-**'

	jobs:
	tests:
	name: editorconfig-check
	runs-on: ubuntu-latest
	if: "github.repository_owner == 'NixOS' && !contains(github.event.pull_request.title, '[skip treewide]')"
	steps:
	- name: Get list of changed files from PR
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	run: \|
	gh api \
	repos/NixOS/nixpkgs/pulls/${{github.event.number}}/files --paginate \
	\| jq '.[] \| select(.status != "removed") \| .filename' \
	> "$HOME/changed_files"
	- name: print list of changed files
	run: \|
	cat "$HOME/changed_files"
	- uses: actions/checkout@d632683dd7b4114ad314bca15554477dd762a938 # v4.2.0
	with:
	# pull_request_target checks out the base branch by default
	ref: refs/pull/${{ github.event.pull_request.number }}/merge
	- uses: cachix/install-nix-action@9f70348d77d0422624097c4b7a75563948901306 # v29
	with:
	# nixpkgs commit is pinned so that it doesn't break
	# editorconfig-checker 2.4.0
	nix_path: nixpkgs=https://github.com/NixOS/nixpkgs/archive/c473cc8714710179df205b153f4e9fa007107ff9.tar.gz
	- name: Checking EditorConfig
	run: \|
	cat "$HOME/changed_files" \| nix-shell -p editorconfig-checker --run 'xargs -r editorconfig-checker -disable-indent-size'
	- if: ${{ failure() }}
	run: \|
	echo "::error :: Hey! It looks like your changes don't follow our editorconfig settings. Read https://editorconfig.org/#download to configure your editor so you never see this error again."

Provide feedback