Skip to content

Removed native journal CLI functionality in favor of external journal integrations #30

Removed native journal CLI functionality in favor of external journal integrations

Removed native journal CLI functionality in favor of external journal integrations #30

Workflow file for this run

name: code checks
on:
workflow_dispatch:
pull_request:
branches:
- main
workflow_call:
inputs:
branch_ref:
type: string
required: true
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}-${{ inputs.branch_ref }}
cancel-in-progress: true
jobs:
run-dev-checks:
timeout-minutes: 20
runs-on: ubuntu-24.04
steps:
- name: Checkout
uses: actions/checkout@v4
with:
ref: ${{ inputs.branch_ref }}
- name: Build containers
run: ./bin/dev-build-containers.sh
- name: Check code formatting
run: ./bin/dev-check-formatting.sh
- name: Check types
run: ./bin/dev-check-semantics.sh
- name: Check runtime
run: ./bin/dev-check-runtime.sh