Chan x/y placement cost factors using prefix sum #6844
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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 |