Skip to content
play

GitHub Action

Install Mops

v1.2.0 Latest version

Install Mops

play

Install Mops

Install Mops with caching for faster subsequent builds

Installation

Copy and paste the following snippet into your .yml file.

              
- name: Install Mops

              
  uses: ZenVoich/[email protected]
Learn more about this action in ZenVoich/setup-mops

Choose a version

Setup Mops GitHub Action

Easy way to install Mops in your GitHub Actions workflow.

This action provides caching of Mops packages and toolchain.

Usage

Add the following step to your workflow to install Mops

- uses: ZenVoich/setup-mops@v1

Example

jobs:
  your-job:
    runs-on: ubuntu-latest
    steps:
      - name: Install mops
        uses: ZenVoich/setup-mops@v1

Specifying a mops version

steps:
  - uses: ZenVoich/setup-mops@v1
    with:
      mops-version: 0.37.0

Publish a package

Learn how to use GitHub Secrets here.

This example publishes a package to the Mops Registry when a GitHub release is created.

on:
  release:
    types: [released]
jobs:
  publish:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
      - uses: ZenVoich/setup-mops@v1
        with:
          identity-pem: ${{ secrets.MOPS_IDENTITY_PEM }}
      - name: Publish to the Mops Registry
        run: mops publish

Inputs

Input Default
mops-version latest
moc-version as specified in mops.toml
wasmtime-version as specified in mops.toml
pocket-ic-version as specified in mops.toml
identity-pem