Hongrui Fang
|
251dc549d1
|
fix syntax error in pr template
|
2022-11-02 00:48:14 +08:00 |
|
Emily Martins
|
c269af8caf
|
add PR template
|
2022-10-31 13:42:47 +01:00 |
|
Seungheon Oh
|
4a1bd4b465
|
Deprecate Github CI; using Hydra instead
|
2022-07-14 11:21:31 -05:00 |
|
Seungheon Oh
|
dedcc0dcbc
|
Restore GH actions as Hydra fails
|
2022-06-28 09:06:30 -05:00 |
|
Seungheon Oh
|
6fd20816a6
|
Hydra
|
2022-06-27 14:46:02 -05:00 |
|
Hongrui Fang
|
ac7cba9825
|
don't need to add ssh key in ci workflow anymore
|
2022-06-16 23:48:54 +08:00 |
|
Hongrui Fang
|
b44681f77f
|
correct branch name: master -> main
|
2022-06-16 23:48:54 +08:00 |
|
Seungheon Oh
|
738fa26c0f
|
Made PQ and PCB available to Agora
* Added deploy key of PCB to Github workflow
* Added Nix inputs and made PQ and PCB to build.
|
2022-05-30 17:45:35 -05:00 |
|
fanghr
|
2853eb3a00
|
run tests in CI
|
2022-05-28 23:53:47 +08:00 |
|
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 |
|
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 |
|