Makefile CI

Merge pull request #147 from leanprover/aggregate-at #115

Sign in to view logs

Triggered via push September 9, 2024 18:49

pennyannn

main

Status Success

Total duration 9m 5s

Artifacts –

makefile.yml

on: push

Matrix: build