Skip to content

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

License

Notifications You must be signed in to change notification settings

PumasAI/add-private-registry

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

34 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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

Resources

License

Stars

Watchers

Forks

Packages

No packages published