Emily Martins
|
6aa594f6ca
|
Merge branch 'master' into emiflake/bench
|
2022-02-16 15:20:32 +01:00 |
|
Emily
|
879bfc6f6c
|
Merge pull request #26 from Liqwid-Labs/jhodgdev/ghc9
jhodgdev/ghc9
|
2022-02-16 00:43:52 +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
|
2479ece42c
|
flake: add 'defaultPackage' back
|
2022-02-16 00:18:16 +01:00 |
|
Emily Martins
|
537fe50a71
|
set -XOverloadedRecordDot flag instead of using RecordDotProcessor
|
2022-02-16 00:17:55 +01:00 |
|
Jack Hodgkinson
|
9846b45dd5
|
Couldn't resolve plutus extra or plutus ledger
|
2022-02-15 15:51:34 +00:00 |
|
Jack Hodgkinson
|
36216d7ac2
|
Works with GHC 9; need to re-add plutus-extra
|
2022-02-15 15:40:52 +00:00 |
|
Emily Martins
|
1a57560a97
|
Merge branch 'master' into emiflake/bench
|
2022-02-14 21:50:10 +01:00 |
|
Jack Hodgkinson
|
e80ebb630b
|
Merge pull request #19 from Liqwid-Labs/jhodgdev/github-actions
jhodgdev/github-actions
|
2022-02-14 16:25:45 +00: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
|
d90d57045f
|
Added failing test
|
2022-02-14 12:11:34 +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
|
12c3dea5d7
|
tweaked CI workaround
|
2022-02-14 08:20:31 +00:00 |
|
Jack Hodgkinson
|
63d58ade25
|
testing workaround
|
2022-02-11 08:23:29 +00:00 |
|
Jack Hodgkinson
|
71983f273d
|
updated flake files
|
2022-02-10 09:07:07 +00:00 |
|
Jack Hodgkinson
|
c3e58ce1b1
|
reset flake .nix
|
2022-02-10 09:04:27 +00:00 |
|
Jack Hodgkinson
|
16345d37e0
|
updated nixpkgs reference
|
2022-02-10 08:55:50 +00:00 |
|
Jack Hodgkinson
|
d79b70575f
|
updated flake.lock
|
2022-02-10 08:41:11 +00:00 |
|
Emily Martins
|
4c6d9d1ab1
|
add benchmarking stub using plutus-benchmark
|
2022-02-09 18:39:13 +01: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
|
146a2c6015
|
formatting
|
2022-02-09 15:05:46 +00:00 |
|
Jack Hodgkinson
|
2255feb1ea
|
added formatting CI task
|
2022-02-09 14:52:44 +00:00 |
|
Jack Hodgkinson
|
6b90cb038b
|
Merge branch 'master' of github.com:Liqwid-Labs/agora into jhodgdev/github-actions
|
2022-02-09 12:33:56 +00:00 |
|
Emily
|
2aed336ccf
|
Merge pull request #22 from Liqwid-Labs/emiflake/hls
Add `haskell-language-server` to tools
|
2022-02-09 13:00:58 +01:00 |
|
Emily Martins
|
fcf5fc3d07
|
simply add haskell-language-server to tools
|
2022-02-09 12:49:22 +01:00 |
|
Emily
|
40cc8117ee
|
Merge pull request #20 from Liqwid-Labs/emiflake/add-plutus-extra
Add plutus-extra dependency
|
2022-02-08 13:40:30 +01:00 |
|
Jack Hodgkinson
|
38ed1f9d60
|
Update README.md
Added reference to `nix-direnv`.
|
2022-02-08 10:02:16 +00:00 |
|
Jack Hodgkinson
|
01a9bde93d
|
Merge pull request #13 from Liqwid-Labs/jhodgdev/initial-docs
jhodgdev/initial-docs
|
2022-02-08 09:58:30 +00:00 |
|
Jack Hodgkinson
|
a687b9e426
|
fixed grammatical error
|
2022-02-08 09:52:22 +00:00 |
|
Jack Hodgkinson
|
983918c64e
|
updated gitignore
|
2022-02-08 09:43:32 +00:00 |
|
Jack Hodgkinson
|
28afe13bf9
|
Removed nix.shell, as no longer required
|
2022-02-08 09:26:10 +00:00 |
|
Jack Hodgkinson
|
757b090e35
|
Updated .gitignore to reflect nix-direnv support
|
2022-02-08 08:57:20 +00:00 |
|
Jack Hodgkinson
|
1bd10c5432
|
Small changes to style guide
|
2022-02-07 16:07:22 +00:00 |
|
Jack Hodgkinson
|
282e7ab99f
|
implemented changes from review
|
2022-02-07 14:47:52 +00:00 |
|
Emily Martins
|
f7729bf006
|
add plutus-extra dependency
|
2022-02-07 15:34:45 +01:00 |
|
Jack Hodgkinson
|
1bb44923ee
|
removed unnecessary newline from governor
|
2022-02-07 13:36:16 +00:00 |
|