Skip to content
Run Python tests

SampCert submodule and build, alternative #148

Sign in to view logs

SampCert submodule and build, alternative

SampCert submodule and build, alternative #148

Re-run triggered April 25, 2024 18:53
@stefan-awsstefan-aws
#173
AutoLean2
Status Success
Total duration 8m 28s
Artifacts –

test_py.yml

on: pull_request
test-python
8m 19s
test-python
Fit to window
Zoom out
Zoom in