Merge branch 'gen-ci' into 'master' (0176dcf5) · Commits · package-sets / horizon-platform · GitLab

Skip to content

GitLab

Explore

Sign in
Register

Primary navigation

Project

horizon-platform
- Activity
- Members
- Labels
- Issues
  2
- Issue boards
- Milestones
- Wiki
- Releases
- Package Registry
- Environments
- Terraform modules
- Incidents
- Service Desk

Snippets Groups Projects

package-sets
horizon-platform
Commits
0176dcf5

Commit 0176dcf5 authored 2 years ago by

Daniel Firth

Downloads
- Plain Diff

Merge branch 'gen-ci' into 'master'

ci: generate from dhall

See merge request horizon/horizon-platform!9

parents 789c60f7 6ee8ed6f

Changes 8

Hide whitespace changes

Inline Side-by-side

Showing

.gitlab-ci.dhall 47 additions, 0 deletions

.gitlab-ci.dhall
.gitlab-ci.yml 1 addition, 1 deletion

.gitlab-ci.yml
flake.nix 5 additions, 0 deletions

flake.nix
manifest.dhall 12 additions, 2 deletions

manifest.dhall
overlay.nix 2 additions, 0 deletions

overlay.nix
pkgs/compactable.nix 18 additions, 56 deletions

pkgs/compactable.nix
pkgs/polysemy-plugin.nix 10 additions, 38 deletions

pkgs/polysemy-plugin.nix
pkgs/servant-server.nix 47 additions, 0 deletions

pkgs/servant-server.nix

with 142 additions and 97 deletions

0% or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment