You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
0 commit comments