This repository has been archived on 2024-01-28. You can view files and clone it, but cannot push or open issues/pull-requests.
2020-10-03 14:56:13 +02:00
|
|
|
kind: pipeline
|
|
|
|
name: default
|
|
|
|
type: exec
|
|
|
|
|
|
|
|
steps:
|
|
|
|
- name: build
|
|
|
|
commands:
|
2021-05-06 18:11:08 +02:00
|
|
|
- nix build -L
|
|
|
|
- readlink -f result
|