Skip to content
main

Port latest Yosys-verific-rs (#2092) #8519

Sign in to view logs

Port latest Yosys-verific-rs (#2092)

Port latest Yosys-verific-rs (#2092) #8519

Triggered via push November 15, 2024 12:55
@BessonThierryBessonThierry
pushed 1476c7d
main
Status Success
Total duration 2h 19m 0s
Artifacts 5

main.yml

on: push
CentOS-Production
1h 49m
CentOS-Production
CentOS-Release
1h 23m
CentOS-Release
Ubuntu-Debug
2h 9m
Ubuntu-Debug
Ubuntu-Production
1h 33m
Ubuntu-Production
Ubuntu-Release
1h 45m
Ubuntu-Release
msys2-gcc
0s
msys2-gcc
windows-msvc
0s
windows-msvc
macos-gcc
0s
macos-gcc
macos-clang
0s
macos-clang
CodeFormatting
27s
CodeFormatting
ClangTidy
0s
ClangTidy
deploy
9m 13s
deploy
Matrix: test-centos-R
Matrix: test-ubuntu-D
Matrix: test-ubuntu-P
Matrix: test-ubuntu-R
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
CentOS-Production Expired
816 MB
CentOS-Release Expired
804 MB
Ubuntu-Debug Expired
3.53 GB
Ubuntu-Production Expired
1.1 GB
Ubuntu-Release Expired
1.4 GB