Docker images for the CIRCT project
Images and associated scripts and data are stored in subdirectories. Docker
requires that the image definition and any files the definition needs to
COPY over are stored in or below its directory. To build locally (for
testing) cd into the image directory and run docker build . -t <tag>
wherein tag is what you want the image to be called.
The publishing workflow for all the images is in
.github/workflow/publish_images.yml. It works by logging into the GitHub
container
registry,
building the Docker image, then pushing that image to the registry. The
password (really a PAT) is stored and exposed to the workflow as an
Encrypted
secret.
The CR_PAT secret is a PAT generated from the circt-ma machine
user.
The workflow is triggered by a GitHub release. So clone the repo, make your
changes, test them locally via a docker build <image_dir>, commit & push
your change to the trunk branch, then do a
release.
Example from CIRCT nightly:
build-circt:
name: Build and Test
runs-on: ubuntu-latest
container:
image: ghcr.io/circt/images/circt-integration-test:v1
