Skip to content
CI

src: Renaming FStarC.Compiler.* -> FStarC.* #152

Sign in to view logs

src: Renaming FStarC.Compiler.* -> FStarC.*

src: Renaming FStarC.Compiler.* -> FStarC.* #152

Annotations

1 warning

ciok

ciok
succeeded Jan 15, 2025 in 0s