Skip to content
Build and test Pulse

snap after F* change, one less unit arg in extracted ocaml #1016

Sign in to view logs

snap after F* change, one less unit arg in extracted ocaml

snap after F* change, one less unit arg in extracted ocaml #1016

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
6m 32s
6m 32s