Skip to content

External and internal ids #20

External and internal ids

External and internal ids #20

---
name: Toolchain beyond doubt
on:
pull_request:
branches:
- main
workflow_dispatch:
jobs:
everything:
name: Everything in ${{ matrix.devenv.name }} env
timeout-minutes: 10
strategy:
fail-fast: false
matrix:
devenv:
- name: turing
os: ubuntu-22.04
- name: church
os: ubuntu-20.04
runs-on: ${{ matrix.devenv.os }}
permissions:
packages: write
steps:
- uses: actions/[email protected]
- uses: ./.github/actions/prepare
with:
name: ${{ matrix.devenv.name }}
tools: python java docker
token: ${{ secrets.GITHUB_TOKEN }}
- run: ansible-playbook codebase.yaml -e focus=toolchain
working-directory: .dx
env:
GITHUB_ACTOR: ${{ github.actor }}
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
- run: >
ansible-playbook stacks.yaml
-e image_repo=ghcr.io
-e devenv=${{ matrix.devenv.name }}
-e focus=toolchain
working-directory: .dx
env:
GITHUB_ACTOR: ${{ github.actor }}
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}