Skip to content
Build and test FStar

docker dev container: explicit platform, install pkg-config #4186

Sign in to view logs

docker dev container: explicit platform, install pkg-config

docker dev container: explicit platform, install pkg-config #4186

Run time

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