ci: Fix name of default branch in publishing workflow

This commit is contained in:
Alessandro Candido
2024-03-01 23:34:47 +01:00
parent 51d54a940c
commit e6d9ece264

View File

@@ -3,7 +3,7 @@ name: docs
on:
workflow_dispatch:
push:
branches: [master]
branches: [main]
tags:
- "*"
@@ -16,10 +16,10 @@ jobs:
- name: checks for the label
id: label_step
run: |
if [[ "${{ github.ref }}" == "refs/heads/master" ]]; then
if [[ "${{ github.ref }}" == "refs/heads/main" ]]; then
echo "version=latest" >> $GITHUB_OUTPUT
fi
if [[ "${{ github.ref_type }}" == "branch" ]] && [[ "${{ github.ref }}" != "refs/heads/master" ]]; then
if [[ "${{ github.ref_type }}" == "branch" ]] && [[ "${{ github.ref }}" != "refs/heads/main" ]]; then
exit 1
fi
if [[ "${{ github.ref_type }}" == "tag" ]]; then