Skip to content
RADSan Real-Time Safety

Fixing undefined behaviour in examples (#142) #16

Sign in to view logs

Fixing undefined behaviour in examples (#142)

Fixing undefined behaviour in examples (#142) #16

Triggered via push July 8, 2024 23:35
@jatinchowdhury18jatinchowdhury18
pushed f9c2c64
main
Status Success
Total duration 1m 38s
Artifacts –

radsan.yml

on: push
Check real-time safety with RADSan
1m 30s
Check real-time safety with RADSan
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Check real-time safety with RADSan
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Check real-time safety with RADSan
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/