CI Checks

SAME70 driver xTXDescriptorSemaphore issue #5707

Triggered via pull request October 18, 2023 07:42

synchronize #1033

Status Success

Total duration 5m 49s

Artifacts 1

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: pull_request

Produced during runtime

Name	Size
cbmc_proof_results_FreeRTOS-Plus-TCP_2023_10_18_07_48_10 Expired	4.46 MB