CI

Skip test_indirectcfi when Z3 times out #95

Sign in to view logs

Triggered via pull request June 24, 2024 18:28

twizmwazin

synchronize #55

fix/test_indirectcfi-timeout

Status Success

Total duration 6m 31s

Artifacts 11

ci.yml

on: pull_request

Matrix: ci / Test

ci / Publish Unit Tests Results

Artifacts

Produced during runtime

Name	Size
Test Results 0 Expired	808 Bytes
Test Results 1 Expired	855 Bytes
Test Results 2 Expired	876 Bytes
Test Results 3 Expired	890 Bytes
Test Results 4 Expired	877 Bytes
Test Results 5 Expired	835 Bytes
Test Results 6 Expired	772 Bytes
Test Results 7 Expired	769 Bytes
Test Results 8 Expired	812 Bytes
Test Results 9 Expired	802 Bytes
build_archive Expired	706 MB