ci

Merge pull request #103 from leanprover-community/bump_to_v4.16.0 #439

Sign in to view logs

Triggered via push February 3, 2025 09:05

jcommelin

v0.0.51

Status Success

Total duration 3m 52s

Artifacts –

build.yml

on: push

Matrix: build

Annotations

1 error

Build on Ubuntu

Process completed with exit code 1.