Skip to content
CI

Errors: Introducing '--message_format github', for github actions #106

Sign in to view logs

Errors: Introducing '--message_format github', for github actions

Errors: Introducing '--message_format github', for github actions #106

tests  /  ocaml-smoke (fstar-src.tar.gz, ubuntu-22.04)

tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-22.04)
succeeded Jan 10, 2025 in 8m 1s