Push Docker image to ghcr.io

Provide APIs for viewing and editing kinds of type parameters (#1095) #127

Sign in to view logs

Triggered via push August 8, 2023 09:41

github-merge-queue[bot]

main

Status Success

Total duration 2m 24s

Artifacts –

push-to-ghcr.yaml

on: push

push-image-to-ghcr