Lem and Coq fixes for C test suite · rems-project/sail@56933ff

Triggered via pull request October 5, 2023 16:51

bacam

synchronize #347

bacam:c-test-fixes

Status Success

Total duration 25m 20s

Artifacts 3

coverage.yml

on: pull_request

Matrix: build

1 notice

There are 550 tests, see "Raw output" for the full list of tests.

Produced during runtime