Seungheon Oh
|
16b1f6ad4b
|
CI using deploy keys of plutarch-*
Simplified workflow using `strategy.matrix`
|
2022-05-27 13:54:33 -05:00 |
|
fanghr
|
404d5acad1
|
add check-bench workflow
|
2022-05-27 04:46:41 +08:00 |
|
Emily Martins
|
a3274a0f91
|
publish haddock in CI
- set correct subdirectory for docs
- add elucidating comment about deployment target
|
2022-04-19 16:19:14 +02:00 |
|
Emily Martins
|
1610f95763
|
use 'formatCheck' in CI instead of the two manual format checks
|
2022-04-14 14:20:37 +02:00 |
|
Emily Martins
|
4acc857bbd
|
ci: build checks instead of defaultPackage
|
2022-03-22 16:28:14 +01:00 |
|
Emily Martins
|
e4d1fdfbed
|
make hlint happy
|
2022-02-25 14:43:28 +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
|
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 |
|