Skip to content
Build and test FStar

for data constructors on types not injective on their params, add an … #3256

Sign in to view logs

for data constructors on types not injective on their params, add an …

for data constructors on types not injective on their params, add an … #3256

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
16m 13s
16m 13s