Skip to content

Continue Prototyping IPC Implementation of Dep Module Generic Procedu… #206

Continue Prototyping IPC Implementation of Dep Module Generic Procedu…

Continue Prototyping IPC Implementation of Dep Module Generic Procedu… #206

name: Deploy
on:
push:
branches: [ main ]
workflow_dispatch:
jobs:
Build-and-Release:
runs-on: ubuntu-latest
steps:
- name: Checkout code
uses: actions/checkout@v3
- name: Build Release Artifacts
run: |
# In order to be able to run the Claro CLIs users will need the compiler and builtin Java deps Jars.
bazel build //src/java/com/claro:claro_compiler_binary_deploy.jar
bazel build //src/java/com/claro/claro_programs:claro_builtin_java_deps_deploy.jar
# Create a single tar file to encapsulate all CLI resources.
ln -s bazel-bin/src/java/com/claro/claro_compiler_binary_deploy.jar claro_compiler_binary_deploy.jar
ln -s bazel-bin/src/java/com/claro/claro_programs/claro_builtin_java_deps_deploy.jar claro_builtin_java_deps_deploy.jar
ln -s cli/claroc.sh claroc.sh
ln -s cli/claro.sh claro.sh
# -h ensures that the above symlinks are actually dereferenced, else they'd be empty symlinks in the tar file.
tar -hcf claro-cli-install.tar.gz \
claro_compiler_binary_deploy.jar \
claro_builtin_java_deps_deploy.jar \
claroc.sh \
claro.sh
- name: Create Release
id: create_release
uses: softprops/action-gh-release@v1
with:
token: ${{ secrets.GITHUB_TOKEN }}
tag_name: v0.1.${{ github.run_number }}
name: v0.1.${{ github.run_number }} Automated Riju Release
body: |
# This is an automated relase of resources needed to install and run Claro locally.
Check out the simple [setup instructions](https://github.com/JasonSteving99/claro-lang/#try-it-out-locally) to get started!
draft: false
prerelease: false
fail_on_unmatched_files: true
files: |
claro-cli-install.tar.gz
Deploy-User-Docs-to-GH-Pages:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
with:
fetch-depth: 0
- name: Install mdbook
run: |
mkdir mdbook
curl -sSL https://github.com/rust-lang/mdBook/releases/download/v0.4.25/mdbook-v0.4.25-x86_64-unknown-linux-gnu.tar.gz | tar -xz --directory=./mdbook
echo `pwd`/mdbook >> $GITHUB_PATH
- name: Deploy GitHub Pages
run: |
cd mdbook-docs
mdbook build
git worktree add gh-pages
git config user.name "Deploy from CI"
git config user.email "jasonmail99@gmail.com"
cd gh-pages
# Delete the ref to avoid keeping history.
git update-ref -d refs/heads/gh-pages
rm -rf *
mv ../book/* .
git add .
git commit -m "Deploy $GITHUB_SHA to gh-pages"
git push --force --set-upstream origin gh-pages