Skip to content
Publish Docker Images

Add missing extension fsti for F* (#1184) #57

Sign in to view logs

Add missing extension fsti for F* (#1184)

Add missing extension fsti for F* (#1184) #57

Run time

Learn about OS pricing on GitHub Actions
Job Run time
image
2m 11s
2m 11s