ci

chore: use toolchain for leanprover/lean4#2749 #20

Sign in to view logs

Triggered via pull request November 8, 2023 16:53

Vtec234

synchronize #32

lean-pr-testing-2749

Status Success

Total duration 4m 58s

Artifacts –

build.yml

on: pull_request

Matrix: build