Skip to content
Sentry kernel proof with Frama-C

uapi: add support for complete systypes and cargo ecosystem #448

Sign in to view logs

uapi: add support for complete systypes and cargo ecosystem

uapi: add support for complete systypes and cargo ecosystem #448

Run time

Learn about OS pricing on GitHub Actions
Job Run time
run_framac
7m 44s
7m 44s