Merge branch 'main' into dev

This commit is contained in:
Timothy Jaeryang Baek 2023-11-08 04:25:49 -05:00 committed by GitHub
commit 7dcaa52a83
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -4,6 +4,7 @@ name: Create and publish a Docker image
# Configures this workflow to run every time a change is pushed to the branch called `release`.
on:
push:
branches: ['main']
tags:
- v*