Skip to content

Disable config-only search for Boost (#1804) #1

Disable config-only search for Boost (#1804)

Disable config-only search for Boost (#1804) #1

name: Build and Deploy Development Containers
on:
push:
branches:
- master
workflow_dispatch:
workflow_call:
jobs:
get-oses:
runs-on: ubuntu-latest
outputs:
all: ${{ steps.all.outputs.all }}
steps:
- name: Checkout
uses: actions/checkout@v4
- id: all
uses: ./.github/actions/os-versions
dev-containers:
runs-on: ubuntu-latest
needs: get-oses
strategy:
fail-fast: false
matrix:
os: ${{ fromJson(needs.get-oses.outputs.all) }}
permissions:
packages: write
name: Update dev containers
steps:
- name: Checkout
uses: actions/checkout@v4
- name: GHCR Login
uses: docker/[email protected]
with:
registry: ghcr.io
username: ${{ github.actor }}
password: ${{ secrets.GITHUB_TOKEN }}
- name: Build
shell: bash
run: |
set -ex
base="ghcr.io/dyninst/amd64/${{ matrix.os }}-base:latest"
dev="ghcr.io/dyninst/amd64/${{ matrix.os }}:latest"
# Grab the respective base container to update cache
docker pull $base
docker build -f docker/Dockerfile -t ${dev} --build-arg base=${base} --build-arg build_jobs=2 .
docker push ${dev}