Skip to content

Nightly

Nightly #419

# Workflow to push clam image in dockerhub
name: Nightly
# Controls when the action will run.
on:
# Triggers the workflow on push or pull request events but only for the dev14 branch
schedule:
- cron: 0 0 * * * # run every day at UTC 00:00
workflow_dispatch:
branches: dev14
inputs:
Triggerer:
description: 'Triggered by:'
required: true
default: ''
# A workflow run is made up of one or more jobs that can run sequentially or in parallel
jobs:
# This workflow contains a single job called "test"
test:
# The type of runner that the job will run on
runs-on: ubuntu-latest
# Steps represent a sequence of tasks that will be executed as part of the job
steps:
# Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
- name: Check out repo
uses: actions/checkout@v2
with:
ref: dev14
- name: Build clam and run tests
run: docker build -t seahorn/clam-llvm14:nightly -f docker/clam.Dockerfile .
# Logging in using this mechanism prints the following warning
# WARNING! Your password will be stored unencrypted in /home/runner/.docker/config.json.
# There does not seem to be an easy way around it though using docker actions may mitigate
# it.
- name: Login to DockerHub Registry
if: ${{ github.event_name == 'schedule' }} # only push if nightly run
run: echo ${{ secrets.DOCKER_HUB_ACCESS_TOKEN }} | docker login -u ${{ secrets.DOCKER_HUB_USERNAME }} --password-stdin
- name: Tag and push clam (nightly)
if: ${{ github.event_name == 'schedule' }} # only push if nightly run
run: |
docker push seahorn/clam-llvm14:nightly