Skip to content

Simple Place Delay Model Read/Write #7010

Simple Place Delay Model Read/Write

Simple Place Delay Model Read/Write #7010

Workflow file for this run

name: Containers
on:
# We want to run the CI when anything is pushed to master.
# Since master is a protected branch this only happens when a PR is merged.
# This is a double check in case the PR was stale and had some issues.
push:
branches:
- master
paths-ignore: # Prevents from running if only docs are updated
- 'doc/**'
- '**/*README*'
- '**.md'
- '**.rst'
pull_request:
paths-ignore: # Prevents from running if only docs are updated
- 'doc/**'
- '**/*README*'
- '**.md'
- '**.rst'
workflow_dispatch:
schedule:
- cron: '0 0 * * 0' # weekly
# We want to cancel previous runs for a given PR or branch / ref if another CI
# run is requested.
# See: https://docs.github.com/en/actions/using-jobs/using-concurrency
concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
cancel-in-progress: true
jobs:
Image:
runs-on: ubuntu-latest
env:
DOCKER_BUILDKIT: 1
steps:
- name: 🧰 Repository Checkout
uses: actions/checkout@v4
with:
submodules: 'true'
- name: 🔧 Generate image name
id: generate
run: |
REPO='${{ github.repository }}'
echo "image=ghcr.io/${REPO,,}/ubuntu/focal/build" >> $GITHUB_OUTPUT
- name: ⛴️ Build container image
run: docker build -t ${{ steps.generate.outputs.image }} -f Dockerfile .
- name: 🛰️ Push container image
if: github.event_name != 'pull_request'
uses: pyTooling/Actions/with-post-step@r0
with:
main: |
echo '${{ github.token }}' | docker login ghcr.io -u GitHub-Actions --password-stdin
docker push ${{ steps.generate.outputs.image }}
post: docker logout ghcr.io