Skip to content
Build and test FStar

Resolving typo in extracted OCaml for projecting pair with _1 and _2 #2441

Sign in to view logs

Resolving typo in extracted OCaml for projecting pair with _1 and _2

Resolving typo in extracted OCaml for projecting pair with _1 and _2 #2441

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
8m 9s
8m 9s