Commit 11d74829 authored by Valentin Reis's avatar Valentin Reis
Browse files

[ci] ci file fix.

parent ef5b397b
Pipeline #10312 passed with stages
in 11 minutes and 17 seconds
......@@ -11,32 +11,28 @@ make:ormolu:
tags:
- kvm
- nix
script:
- nix-shell -p gnumake --run "make ormolu"
script: nix-shell -p gnumake --run "make ormolu"
make:hlint:
stage: source
tags:
- kvm
- nix
script:
- nix-shell -p gnumake --run "make hlint"
script: nix-shell -p gnumake --run "make hlint"
make:shellcheck:
stage: source
tags:
- kvm
- nix
script:
- nix-shell -p gnumake --run "make shellcheck"
script: nix-shell -p gnumake --run "make shellcheck"
make:dhall-format:
stage: source
tags:
- kvm
- nix
script:
- nix-shell -p gnumake --run "make dhall-format"
script: nix-shell -p gnumake --run "make dhall-format"
nix:package:
stage: build
......@@ -51,7 +47,7 @@ make:doc:
tags:
- kvm
- nix
script: make doc
script: nix-shell -p gnumake --run "make doc"
readthedocs:
stage: docs
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment