Skip to content

Completed ARR_STR.union #26

Completed ARR_STR.union

Completed ARR_STR.union #26

Workflow file for this run

## Sample workflow for building and deploying a mdBook site to GitHub Pages
##
## To get started with mdBook see: https://rust-lang.github.io/mdBook/index.html
##
#name: Deploy mdBook site to Pages
#
#on:
# # Runs on pushes targeting the default branch
# push:
# branches: ["main"]
#
# # Allows you to run this workflow manually from the Actions tab
# workflow_dispatch:
#
## Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
#permissions:
# contents: read
# pages: write
# id-token: write
#
## Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
## However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
#concurrency:
# group: "pages"
# cancel-in-progress: false
#
#jobs:
# # Build job
# build:
# runs-on: ubuntu-latest
# env:
# MDBOOK_VERSION: 0.4.21
# steps:
# - uses: actions/checkout@v3
# - name: Install mdBook
# run: |
# curl --proto '=https' --tlsv1.2 https://sh.rustup.rs -sSf -y | sh
# rustup update
# cargo install --version ${MDBOOK_VERSION} mdbook
# - name: Setup Pages
# id: pages
# uses: actions/configure-pages@v3
# - name: Build with mdBook
# run: mdbook build
# - name: Upload artifact
# uses: actions/upload-pages-artifact@v2
# with:
# path: ./book
#
# # Deployment job
# deploy:
# environment:
# name: github-pages
# url: ${{ steps.deployment.outputs.page_url }}
# runs-on: ubuntu-latest
# needs: build
# steps:
# - name: Deploy to GitHub Pages
# id: deployment
# uses: actions/deploy-pages@v2
#