Skip to content

Merge pull request #139 from dghgit/master #225

Merge pull request #139 from dghgit/master

Merge pull request #139 from dghgit/master #225

Triggered via push October 9, 2024 11:34
Status Success
Total duration 7m 6s
Artifacts 2
oqs_validation
18s
oqs_validation
bc_validation
6m 2s
bc_validation
build_results_html
25s
build_results_html
publish_to_gh_pages
10s
publish_to_gh_pages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
Compatibility_bc_csv Expired
5.97 KB
Compatibility_oqs_csv Expired
10.6 KB