std4 test build

Merge pull request #212 from leanprover/bump_toolchain_to_v4.11.0-rc1 #4890

Sign in to view logs

Triggered via push August 5, 2024 02:15

kim-em

main

Status Success

Total duration 3m 7s

Artifacts –

build.yml

on: push

std4 test build