Fredrik Ekre fcafde1b68 Use eager Pkg server registry instead of git cloning (#31) ...

* Use eager Pkg server registry instead of git cloning

This patch removes the git cloning of General and instead uses the eager
registry flavor. In addition, the action exits early if no deps/build.jl
file exist.

* Use env: key instead.

2023-03-13 12:20:47 +01:00

978 B

Raw Blame History

View Raw