Sulkta-Coop/agora
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Made PQ and PCB available to Agora

Browse source 
* Added deploy key of PCB to Github workflow
* Added Nix inputs and made PQ and PCB to build.
This commit is contained in:
Seungheon Oh 2022-05-30 11:54:46 -05:00
parent f9b7994fdc
commit 5d32184245
No known key found for this signature in database
GPG key ID: 9B0E12D357369B66
3 changed files with 2684 additions and 91 deletions
Download patch file Download diff file Expand all files Collapse all files

16
flake.nix
View file

@ -22,6 +22,11 @@
inputs.plutarch-safe-money.url =
"git+ssh://git@github.com/Liqwid-Labs/plutarch-safe-money?ref=main";
# Testing
inputs.plutarch-quickcheck.url =
"github:liqwid-labs/plutarch-quickcheck";
inputs.plutarch-context-builder.url =
"git+ssh://git@github.com/Liqwid-Labs/plutarch-context-builder?ref=main";
# Follows jhodgdev's forks of apropos and apropos-tx, as these
# are not constrained to `base ^>= 4.14`. Once these are merged
# to their respective master branches, we should change the
@ -36,6 +41,7 @@
inputs.apropos.inputs.nixpkgs.follows =
"plutarch/haskell-nix/nixpkgs-unstable";
# Purescript
inputs.purescript-bridge.url =
"github:mlabs-haskell/purescript-bridge?rev=8e6251e8b1f489748f5bbd9ca6384bcf8cefbbef";
@ -89,6 +95,14 @@
src = inputs.plutarch-safe-money;
subdirs = [ "." ];
}
{
src = inputs.plutarch-quickcheck;
subdirs = [ "." ];
}
{
src = inputs.plutarch-context-builder;
subdirs = [ "." ];
}
{
src = inputs.apropos-tx;
subdirs = [ "." ];
@ -136,6 +150,8 @@
# testing
ps.tasty-quickcheck
ps.plutarch-quickcheck
ps.plutarch-context-builder
ps.apropos-tx
ps.apropos
ps.apropos