diff options
| author | Daniel Gröber <dxld@darkboxed.org> | 2018-10-27 18:38:41 +0200 |
|---|---|---|
| committer | Daniel Gröber <dxld@darkboxed.org> | 2019-01-22 03:03:25 +0100 |
| commit | bc1b304aa262cb00bc486b5af0e22a142cbb0337 (patch) | |
| tree | 6430d9e9abe92586a3783db844edba86b4e08efb /scripts/ci/steps/00-config.sh | |
| parent | 33eaf9ea1b13fff3bd2b5ba403b802f805a4a5d3 (diff) | |
ci: Add GHC-8.6.2 job
Diffstat (limited to 'scripts/ci/steps/00-config.sh')
0 files changed, 0 insertions, 0 deletions