Kani Format Check

Fix issue when linking rlib + another library type #8333

Sign in to view logs

Triggered via pull request October 7, 2024 20:44

celinval

opened #3576

celinval:issue-3569-multi-libs

Status Success

Total duration 2m 17s

Artifacts –

format-check.yml

on: pull_request