Skip to content

Merge pull request #19 from dinkelk/docker-fix #54

Merge pull request #19 from dinkelk/docker-fix

Merge pull request #19 from dinkelk/docker-fix #54

Workflow file for this run

name: Check Style
on:
push:
branches:
- main
pull_request:
branches:
- main
workflow_dispatch:
jobs:
compile_job:
name: style_all
runs-on: ubuntu-latest
container:
image: ghcr.io/lasp/adamant_example:latest
steps:
- run: echo "Starting job triggered by a ${{ github.event_name }} event on a ${{ runner.os }} server hosted by GitHub."
- run: echo "Checking out ${{ github.repository }} on branch ${{ github.ref }}."
- name: Check out repository code
uses: actions/checkout@v3
with:
set-safe-directory: true
path: adamant_example
- name: Clone adamant repository
uses: actions/checkout@v3
with:
set-safe-directory: true
repository: lasp/adamant
path: adamant
- name: Check all style
run: bash adamant_example/env/github_run.sh "redo adamant_example/style_all"
- name: Archive logs for failed style checks
if: always()
uses: actions/upload-artifact@v3
with:
name: failed_style_logs
path: adamant_example/build/failed_style_logs
if-no-files-found: ignore
- run: echo "Finished with status - ${{ job.status }}."
if: always()