Skip to content

add badge + fix CI name #58

add badge + fix CI name

add badge + fix CI name #58

Triggered via pull request October 8, 2024 11:34
@cmomincmomin
opened #9
ci-fix
Status Success
Total duration 4m 59s
Artifacts 2

ci.yml

on: pull_request
Matrix: sbox
Matrix: functest
Matrix: formal_verif_matchi
release
0s
release
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
docs Expired
510 KB
sbox_2 Expired
3.55 KB