Skip to content

REVERT: Use temporary Docker container #94

REVERT: Use temporary Docker container

REVERT: Use temporary Docker container #94

Workflow file for this run

# Copyright 2023 ETH Zurich and University of Bologna.
# Licensed under the Apache License, Version 2.0, see LICENSE for details.
# SPDX-License-Identifier: Apache-2.0
# Build Docker image and publish to pulp-platform's GHCR.
name: build-docker
on:
push:
branches: [bump-snitch]
workflow_dispatch:
jobs:
build-docker:
name: Deploy Docker image
runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@v2
- uses: docker/setup-buildx-action@v1
- name: GHCR Log-in
uses: docker/login-action@v1
with:
registry: ghcr.io
username: ${{ github.actor }}
password: ${{ secrets.GITHUB_TOKEN }}
- name: Build and push
uses: docker/build-push-action@v2
with:
context: .
file: util/container/Dockerfile
push: true
tags: ghcr.io/pulp-platform/occamy:${{ github.ref_name }}
build-args: |-
SNITCH_LLVM_VERSION=latest