Skip to content

Merge branch 'dev'

Merge branch 'dev' #53

Workflow file for this run

name: Publish doc
on:
push:
branches: [ "main" ]
tags: ['v*']
permissions:
contents: write
jobs:
build-and-deploy:
concurrency: ci-${{ github.ref }} # Recommended if you intend to make multiple deployments in quick succession.
runs-on: ubuntu-latest
env:
ImageOS: ubuntu20
steps:
- uses: actions/checkout@v3
- name: Set up Elixir
uses: erlef/setup-beam@988e02bfe678367a02564f65ca2e37726dc0268f
with:
elixir-version: '1.13.2'
otp-version: '24.1'
- name: Restore dependencies cache
uses: actions/cache@v3
with:
path: deps
key: ${{ runner.os }}-mix-${{ hashFiles('**/mix.lock') }}
restore-keys: ${{ runner.os }}-mix-
- name: Install dependencies
run: mix deps.get
- name: Build doc
run: mix docs
- name: Deploy 🚀
uses: JamesIves/github-pages-deploy-action@v4
with:
folder: doc # The folder the action should deploy.