Update the code analysis experiments: #124
main.yml
on: push
prove_specs
3m 36s
prove_framac
6m 23s
rts_posix_scenarios
31m 3s
rts_riscv_scenarios
2m 49s
Annotations
8 warnings