feat(tests): adding first test for IR generation and optimization #420
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: Build and push Docker images | |
on: | |
push: | |
branches: [ dev ] | |
tags: [ '*' ] | |
jobs: | |
build: | |
name: build | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/checkout@v4 | |
if: ${{ contains(github.event.head_commit.message, '[skip ci]') != true }} | |
- name: Build and push stable Docker image | |
uses: docker/[email protected] | |
with: | |
username: ${{ secrets.DOCKER_USERNAME }} | |
password: ${{ secrets.DOCKER_PASSWORD }} | |
repository: arkscript/stable | |
dockerfile: Dockerfile | |
# tag with the git commit SHA | |
tag_with_sha: true | |
tags: latest | |
# push the image only if the event that kicked off the workflow was a push of a git tah | |
push: ${{ startsWith(github.ref, 'refs/tags/') }} | |
- name: Build and push nightly Docker image | |
uses: docker/[email protected] | |
with: | |
username: ${{ secrets.DOCKER_USERNAME }} | |
password: ${{ secrets.DOCKER_PASSWORD }} | |
repository: arkscript/nightly | |
dockerfile: Dockerfile | |
# tag with the git commit SHA | |
tag_with_sha: true | |
tags: latest | |
- name: Build and push harden Docker image | |
uses: docker/[email protected] | |
with: | |
username: ${{ secrets.DOCKER_USERNAME }} | |
password: ${{ secrets.DOCKER_PASSWORD }} | |
repository: arkscript/harden | |
dockerfile: harden.dockerfile | |
# tag with the git commit SHA | |
tag_with_sha: true | |
tags: latest |