forked from DGNum/lab-infra
2ac0a35c5e
We don't have a dns server for the lab infra for now. Later we will probably reintroduce the tooling for our dns server. This will be good for people to get into understanding the main infra repository.
17 lines
280 B
YAML
17 lines
280 B
YAML
name: Check meta
|
|
on:
|
|
pull_request:
|
|
branches:
|
|
- main
|
|
push:
|
|
paths:
|
|
- 'meta/*'
|
|
|
|
jobs:
|
|
check_meta:
|
|
runs-on: nix
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
|
|
- name: Check the validity of meta options
|
|
run: nix-build meta/verify.nix -A meta
|