feat: lake: GNU/BSD OS detection in test scripts · leanprover/lean4@306d2cf

Triggered via pull request January 14, 2024 04:10

labeled #3180

digama0:bsd

Status Success

Total duration 12m 51s

Artifacts 2

ci.yml

on: pull_request

Matrix: build

Produced during runtime

Name	Size
build-Linux release Expired	195 MB
coredumps-Linux release Expired	136 MB