Updating build.yml to work with Lean v4.4.0-rc1 #8

Sign in to view logs

Triggered via push December 19, 2023 17:47

JOSHCLUNE

duper

Status Skipped

Total duration 2s

Artifacts –

build.yml

on: push

Matrix: build