Remove testing stuff.

This commit is contained in:
Alejandro Cabeza Romero 2025-09-05 11:21:55 +02:00
parent 80131a24e1
commit 5bc05ff264
No known key found for this signature in database
GPG Key ID: DA3D14AE478030FD

View File

@ -4,7 +4,6 @@ on:
push: push:
tags: tags:
- "circom_circuits-v*.*.*" - "circom_circuits-v*.*.*"
pull_request: # TODO: Testing only. Remove.
workflow_dispatch: workflow_dispatch:
inputs: inputs:
tag: tag:
@ -24,8 +23,7 @@ jobs:
env: env:
# Use the tag name if it is available, otherwise use the input version. # Use the tag name if it is available, otherwise use the input version.
# If neither is available, default to the commit hash. # If neither is available, default to the commit hash.
# TAG: ${{ (github.ref_type == 'tag' && github.ref_name) || inputs.tag || '' }} TAG: ${{ (github.ref_type == 'tag' && github.ref_name) || inputs.tag || '' }}
TAG: ${{ (github.ref_type == 'tag' && github.ref_name) || inputs.tag || 'circom_circuits-v0.0.0' }} # TODO: Testing only. Remove.
run: | run: |
if [ -z "$TAG" ]; then if [ -z "$TAG" ]; then
echo "Could not determine tag." echo "Could not determine tag."