chore: pr-release.yaml: create testing branch from tag or branch · leanprover/lean4@6137a18

Triggered via pull request January 22, 2024 16:50

nomeata

labeled #3208

Status Success

Total duration 12m 59s

Artifacts 1

ci.yml

on: pull_request

Matrix: build

Produced during runtime

Name	Size
build-Linux release Expired	195 MB