This repository has been archived by the owner on Jan 24, 2024. It is now read-only.

Build and publish docker image to GitHub registry

Merge pull request #8 from ssl-leiden/various-updates #23

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via push December 12, 2023 08:03

jnoordsij

master

Status Success

Total duration 1m 37s

Artifacts –

publish-docker-image.yaml

on: push