Merge pull request #3 from tazjin/chore/pin-travis-nix

Pin Nix version in Travis builds
This commit is contained in:
Vincent Ambo 2019-09-02 22:54:58 +01:00 committed by GitHub
commit 3a4d8544fe
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
7 changed files with 1 additions and 95 deletions

View file

@ -1,4 +1,5 @@
language: nix
nix: 2.2.2
env:
- NIX_PATH="nixpkgs=${TRAVIS_BUILD_DIR}"
before_script:

View file

@ -1,19 +0,0 @@
with import <nixpkgs> {};
let
gemma = import ./default.nix;
entrypoint = writeScript "entrypoint.sh" ''
#!${stdenv.shell}
set -e
exec ${gemma}/bin/gemma
'';
in dockerTools.buildImage {
name = "gemma";
contents = gemma; # [ gemma ];
config = {
Entrypoint = [ entrypoint ];
WorkingDir = "/data";
Volumes = {
"/data" = {};
};
};
}

View file

@ -1,7 +0,0 @@
*.o
*.hi
BlogState/
dist/
.cabal-sandbox/
*.tar.gz
.stack-work/

View file

@ -1,20 +0,0 @@
steps:
- imports:
align: group
- language_pragmas:
style: vertical
remove_redundant: true
- records: {}
- trailing_whitespace: {}
columns: 120
language_extensions:
- DeriveDataTypeable
- FlexibleContexts
- GeneralizedNewtypeDeriving
- MultiParamTypeClasses
- OverloadedStrings
- RecordWildCards
- ScopedTypeVariables
- TemplateHaskell
- TypeFamilies
- QuasiQuotes

View file

@ -1,49 +0,0 @@
@charset "UTF-8";
/* CSS Document */
body {
padding-top: 20px;
font-family: 'PT Sans', sans-serif;
background-image: linear-gradient(bottom, rgb(245,245,245) 66%, rgb(239,239,239) 83%);
background-image: -o-linear-gradient(bottom, rgb(245,245,245) 66%, rgb(239,239,239) 83%);
background-image: -webkit-linear-gradient(bottom, rgb(245,245,245) 66%, rgb(239,239,239) 83%);
background-image: -webkit-gradient(
linear,
left bottom,
left top,
color-stop(0.66, rgb(245,245,245)),
color-stop(0.83, rgb(239,239,239))
);
background-repeat: no-repeat;
background-color: rgb(245,245,245);
}
.loginBox {
width: 400px;
margin: 0 auto;
}
.loginBoxTop {
width: 380px;
height: 28px;
color: #FFFFFF;
font-size: 12px;
padding-left: 20px;
padding-top: 11px;
background: url(/static/loginBoxTop.png);
}
.loginBoxMiddle {
background-color: #F3F3F3;
border-top: 0px hidden;
border:1px solid #D2D2D2;
border-bottom-left-radius: 12px;
border-bottom-right-radius: 12px;
text-align: center;
font-size:12px;
height:auto;
padding-left: 10px;
padding-right: 10px;
min-height:200px;
width:378px;
}

Binary file not shown.

Before

Width:  |  Height:  |  Size: 606 B

Binary file not shown.

Before

Width:  |  Height:  |  Size: 1.8 KiB