Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: NixOS/nixpkgs
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: 8c9fe503e48d
Choose a base ref
...
head repository: NixOS/nixpkgs
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: acfcd44a84fd
Choose a head ref
  • 2 commits
  • 1 file changed
  • 2 contributors

Commits on May 20, 2020

  1. GitHub Actions: check editorconfig in PRs

    @zowoq
    zowoq committed May 20, 2020
    Copy the full SHA
    a42190f View commit details

  2. Merge pull request #87853 from zowoq/actions

    @Mic92
    Mic92 authored May 20, 2020
    Copy the full SHA
    acfcd44 View commit details
Showing with 20 additions and 0 deletions.
  1. +20 −0 .github/workflows/editorconfig.yml
20 changes: 20 additions & 0 deletions .github/workflows/editorconfig.yml
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
name: editorconfig

on:
pull_request:
branches:
- master

jobs:
editorconfig:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@master
- uses: technote-space/get-diff-action@v1.2.8
- name: fetch image
run: docker pull mstruebing/editorconfig-checker
- name: editorconfig check
run: |
docker run --volume="$PWD":/check mstruebing/editorconfig-checker ec \
-disable-indentation \
${{ env.GIT_DIFF }}