chore: refactor pr release workflow · leanprover/lean4@ab6d0e9

Triggered via pull request December 4, 2023 20:49

nomeata

synchronize #3020

Status Cancelled

Total duration 11m 50s

Artifacts 1

ci.yml

on: pull_request

Matrix: build

3 errors

Canceling since a higher priority waiting request for 'CI-refs/pull/3020/merge-pull_request' exists

The operation was canceled.

Some jobs failed

Produced during runtime

Name	Size
coredumps-Linux release Expired	66.3 MB