Emily Martins
|
e4d1fdfbed
|
make hlint happy
|
2022-02-25 14:43:28 +01:00 |
|
Emily Martins
|
0330209f10
|
use GHC 9.2.1 fourmolu package in format.sh
|
2022-02-16 00:33:14 +01:00 |
|
Emily Martins
|
537fe50a71
|
set -XOverloadedRecordDot flag instead of using RecordDotProcessor
|
2022-02-16 00:17:55 +01:00 |
|
Jack Hodgkinson
|
12aff6bc9f
|
Given up on trying to find efficiencies
|
2022-02-14 16:20:55 +00:00 |
|
Jack Hodgkinson
|
6a7336ce41
|
fix syntax error
|
2022-02-14 16:15:02 +00:00 |
|
Jack Hodgkinson
|
a8f156df9c
|
restructured workflows
|
2022-02-14 16:14:24 +00:00 |
|
Jack Hodgkinson
|
feac03aea8
|
attempting fix
|
2022-02-14 16:11:03 +00:00 |
|
Jack Hodgkinson
|
bcc5033ce2
|
Separated nix logic
|
2022-02-14 16:03:57 +00:00 |
|
Jack Hodgkinson
|
954600b9ae
|
Fixed workflow by adding nix install commands
|
2022-02-14 14:21:11 +00:00 |
|
Jack Hodgkinson
|
8f2fe88f5f
|
Implement nix run
|
2022-02-14 14:18:49 +00:00 |
|
Jack Hodgkinson
|
4446802670
|
removed flake check
|
2022-02-14 13:55:09 +00:00 |
|
Jack Hodgkinson
|
19249b70c0
|
fix yaml syntax error
|
2022-02-14 13:45:01 +00:00 |
|
Jack Hodgkinson
|
4ab1fb0376
|
Examine behaviour of hlint and fourmolu without Stack
|
2022-02-14 13:43:35 +00:00 |
|
Jack Hodgkinson
|
1b55c3ea00
|
Removed full stops for consistency
|
2022-02-14 12:12:46 +00:00 |
|
Jack Hodgkinson
|
9a0d55b326
|
gave steps more descriptive names
|
2022-02-14 11:47:24 +00:00 |
|
Jack Hodgkinson
|
c2d73b65b3
|
Updated fourmolu script
|
2022-02-14 11:06:42 +00:00 |
|
Jack Hodgkinson
|
04217f3d67
|
Integrate lint and format
|
2022-02-14 10:49:22 +00:00 |
|
Jack Hodgkinson
|
6cd9c554e6
|
.
|
2022-02-09 16:08:17 +00:00 |
|
Jack Hodgkinson
|
da8a9698e6
|
Replaced formatwith build command from plutus extra
|
2022-02-09 16:07:35 +00:00 |
|
Jack Hodgkinson
|
985895ede3
|
made format.sh executable
|
2022-02-09 15:18:53 +00:00 |
|
Jack Hodgkinson
|
2255feb1ea
|
added formatting CI task
|
2022-02-09 14:52:44 +00:00 |
|
Jack Hodgkinson
|
3dc6e42bf4
|
initialised dummy workflow
|
2022-02-02 16:59:19 +00:00 |
|