PumasAI / add-private-registry

This GitHub Action adds a private Julia package registry from a Pkg Server

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

add-private-registry

Continuous Integration

Add a private Julia package registry from a Pkg Server.

Usage

First add a JULIA_PKG_SERVER environment variable to the toplevel of your workflow file that references your private package server.

env:
  JULIA_PKG_SERVER: https://my-pkg-server.example.com/

Then add the following step after your job's setup-julia step.

- uses: PumasAI/add-private-registry@COMMIT
  with:
    juliahub_token_encoded: ${{ secrets.JULIAHUB_TOKEN_ENCODED }}
    private_registry_name: MyPrivateRegistry
    private_registry_uuid: 00000000-0000-0000-0000-000000000000

where COMMIT is the commit SHA of this action that you would like to use.

About

This GitHub Action adds a private Julia package registry from a Pkg Server

License:MIT License


Languages

Language:Julia 92.6%Language:Makefile 7.4%