Skip to content
ShellCheck

test: parameterize functional tests by Lean toolchain #175

Sign in to view logs

test: parameterize functional tests by Lean toolchain

test: parameterize functional tests by Lean toolchain #175

Triggered via pull request June 26, 2024 13:06
@austinletsonaustinletson
opened #69
63-parameterize-functional-tests-by-lean-version
Status Success
Total duration 18s
Artifacts –

shellcheck.yml

on: pull_request
lint
7s
lint
Fit to window
Zoom out
Zoom in