Skip to content
Run Python tests

SampCert submodule and build, alternative #142

Sign in to view logs

SampCert submodule and build, alternative

SampCert submodule and build, alternative #142

Triggered via pull request April 25, 2024 15:56
@stefan-awsstefan-aws
synchronize #173
AutoLean2
Status Success
Total duration 11m 28s
Artifacts –

test_py.yml

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