ci: validate source changes in PRs (#113)

This commit is contained in:
seth 2024-04-12 02:48:24 +00:00 committed by GitHub
parent a7714828f1
commit 850c26a3a2
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 43 additions and 0 deletions

11
.github/checkSources.nix vendored Normal file
View file

@ -0,0 +1,11 @@
let
sourceFile = ../_sources/generated.json;
sources = builtins.fromJSON (builtins.readFile sourceFile);
isFromOrg = v: v.src.owner == "catppuccin";
badSources = builtins.filter (src: !(isFromOrg src)) (builtins.attrValues sources);
in
# error if any sources are found that don't originate
# from the catppuccin org
if ((builtins.length badSources) == 0)
then "GOOD"
else builtins.throw "BAD"

32
.github/workflows/validate-sources.yml vendored Normal file
View file

@ -0,0 +1,32 @@
name: Validate sources
# Per CONTRIBUTING.md, we do not accept unofficial ports. This enforces
# that policy and ensures all sources are only from the official GitHub org
on:
push:
paths:
- '_sources/**'
- 'nvfetcher.toml'
pull_request:
paths:
- '_sources/**'
- 'nvfetcher.toml'
workflow_dispatch:
jobs:
check:
name: Check for external repositories
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v4
- name: Install Nix
uses: cachix/install-nix-action@v26
- name: Run check
run: |
set -e
nix eval --file ./.github/checkSources.nix