Upgrade Zinc lib for Azure

.ci/lib/README.md

@@ -1,3 +1 @@
-> Please note that these zinc binaries are *only* for Azure Pipelines usage. For your local Zinc binaries, please follow the instructions from the [main project README.md](../../README.md)
-
-As soon as the artifact publication for Azure for Zinc has been reinstated, these binaries will be removed from the repository.
+> Please note that these zinc binaries are *only* for internal Azure Pipelines usage. For your local Zinc binaries, please follow the instructions from the [main project README.md](../../README.md). For GitHub Actions, the binaries are automatically downloaded.

.gitignore

@@ -1,12 +1,5 @@
 *.dSYM
 .vscode
-**/proving_material
-**/verification_material
-**/prover_verifier_shared
-**/notary/bin/*
-**/workflows/bin/*
-#**/block_stores/**/LOCK
-**/libpv*.so
 
 **/.idea/*
 *.iml
@@ -80,6 +73,7 @@ fabric.properties
 *.ear
 *.zip
 *.tar.gz
+!zinc-linux.tar.gz
 *.rar
 
 # virtual machine crash logs, see http://www.java.com/en/download/help/error_hotspot.xml

README.md

@@ -71,9 +71,11 @@ $ cargo b --release
 
 Built binaries will be stored in `./target/release`. Move the `zargo`, `znc` and `zvm` binaries to a directory you prefer and add it to your systems PATH. `/usr/local/bin` has been known to work. Then you can delete sources.
 
-#### Zinc on Azure Pipelines
+#### Zinc on internal Azure Pipelines
 
-If you make changes to Zinc and create a new tag, please ensure that the [copy of the binaries](./.ci/lib/zinc-linux.tar.gz) in for Azure Pipelines is updated to be that version. Please note that these binaries should be compiled on/for linux, so they can run on the Azure Pipelines agents.
+If you make changes to Zinc and create a new tag, please ensure that the [copy of the binaries](./.ci/lib/zinc-linux.tar.gz) in for Azure Pipelines is updated to be that version. Please note that these binaries should be compiled on/for linux, so they can run on the Azure Pipelines agents. 
+
+For GitHub Actions, this is not required, as that build automatically downloads and installs the correct Zinc binaries.
 
 ### Gradle