chore: refactor pr release workflow · leanprover/lean4@417b4aa

Triggered via pull request December 4, 2023 19:45

nomeata

synchronize #3020

Status Cancelled

Total duration 15m 29s

Artifacts 2

ci.yml

on: pull_request

Matrix: build

Produced during runtime

Name	Size
build-Linux release Expired	235 MB
coredumps-Linux release Expired	132 MB