ci

use leanprover/lean4#2766 toolchain #26

Sign in to view logs

Re-run triggered November 14, 2023 05:20

kim-em

v0.0.23-pre

Status Success

Total duration 5m 14s

Artifacts –

build.yml

on: push

Matrix: build