std4 test build

chore: update to new Lean/Lake version #4688

Sign in to view logs

Triggered via push July 30, 2023 18:52

hargoniX

main

Status Success

Total duration 5m 22s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build.yml

on: push

std4 test build