Commit graph

32 commits

Author SHA1 Message Date
Hongrui Fang
14aacf206f
refactor makefile 2022-08-12 04:56:18 +08:00
Hongrui Fang
968409cf34
pipe benchmark result to diff directly 2022-08-07 21:39:07 +08:00
fanghr
cd4179d854
update Makefile 2022-06-29 19:16:02 +08:00
Hongrui Fang
e080db5902
add command make scripts 2022-06-16 20:50:23 +08:00
Jack Hodgkinson
60ce8fd24a Added agora targets variable to Makefile 2022-06-01 09:07:31 +01:00
Jack Hodgkinson
3d4a3df342 Updated tag command in Makefile 2022-06-01 09:07:31 +01:00
fanghr
60b9819fea
add make subcommands to run and check bench 2022-05-27 04:46:39 +08:00
fanghr
cbf14337ff
Merge branch 'master' into connor/governor 2022-05-14 00:40:26 +08:00
fanghr
a90b2337dc
fix lint/tag; run linter 2022-05-13 20:30:11 +08:00
fanghr
b363b326f3
add make ps_bridge subcommand 2022-05-13 20:23:10 +08:00
fanghr
f9acafa1c9
add missing phony 2022-05-13 13:57:54 +08:00
fanghr
cee0f4a67a
Merge branch 'master' into connor/governor 2022-05-11 17:40:38 +08:00
fanghr
7d5805016f
add missing phony 2022-05-11 16:17:41 +08:00
fanghr
28c47178d3
Revert "add subcommand lint_haskell to lint haskell code"
This reverts commit 0f8bc9e9f8.
2022-05-11 15:55:47 +08:00
Jack Hodgkinson
cddc6e8adf Added echo message for Makefile lint 2022-05-06 11:22:40 +01:00
Jack Hodgkinson
8296834b99 added lint function to Makefile 2022-05-06 10:55:09 +01:00
fanghr
0f8bc9e9f8
add subcommand lint_haskell to lint haskell code 2022-05-06 17:11:09 +08:00
fanghr
8e1eb328a3
add descriptions for available make subcommands 2022-05-06 17:11:05 +08:00
Jack Hodgkinson
45e5261989 Added doc to new Makefile function 2022-04-28 09:28:58 +01:00
Jack Hodgkinson
a313b2680a add hasktags function to Makefile 2022-04-28 09:27:03 +01:00
fanghr
8e8411f1cb break make format into sub-targets
...so that the the nix env won't reload when one just want to format the haskell code

now we have:
* `format_haskell` target
* `format_nix` target
2022-04-15 13:39:35 +02:00
fanghr
836b53803d fix #53
Thanks @emiflake !
2022-04-12 18:33:12 +08:00
Emily Martins
8a98ec9ec3 rework SafeMoney to use tags instead of MoneyClass 2022-03-26 11:52:52 +01:00
Emily Martins
87ff8ba343 stub out Proposal, Governor. kill hoogle before starting a new one. 2022-03-26 10:37:32 +01:00
Emily Martins
6702bfcd94 apply suggestions and fix remaining haddock suggestions 2022-03-24 15:43:21 +01:00
Emily Martins
a0ed939175 flake: run tests in flake check, actually check fourmolu 2022-03-22 16:27:20 +01:00
Jack Hodgkinson
d143ec87b5 Began applying Emily's suggestions 2022-03-02 16:46:09 +00:00
Jack Hodgkinson
9ab736c24d Initialised skeleton for treasury 2022-03-01 12:53:39 +00:00
Emily Martins
d5edcdcbd5 set -XOverloadedRecordDot flag instead of using RecordDotProcessor 2022-02-16 00:17:55 +01:00
Jack Hodgkinson
5e7233829f Removed references to pindexdatalist in AuthorityToken 2022-02-01 16:11:03 +00:00
Emily Martins
c40e6e9f36 impl working version of AuthorityToken policy with plutarch 2022-01-14 10:06:01 +01:00
Emily Martins
ea96690e6a initial commit 2022-01-13 00:06:37 +01:00