Skip to content
Formal Verification Plugin CI

Split TypeEmbedding into a PretypeEmbedding and flags. #529

Sign in to view logs

Split TypeEmbedding into a PretypeEmbedding and flags.

Split TypeEmbedding into a PretypeEmbedding and flags. #529

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
3m 2s
3m 2s