Skip to content
CI

build: simplify, coallescing src/ml/full into ulib/ml/plugin, move sr… #359

Sign in to view logs

build: simplify, coallescing src/ml/full into ulib/ml/plugin, move sr…

build: simplify, coallescing src/ml/full into ulib/ml/plugin, move sr… #359

Run time

Learn about OS pricing on GitHub Actions
Job Run time
nix / fstar-nix
18m 30s
build / build
19m 43s
tests / binary-smoke (fstar.tar.gz, ubuntu-24.04)
9s
tests / perf-canaries
21s
tests / check-stage3
6m 23s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-20.04)
7m 55s
tests / test-local
15m 16s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-22.04)
7m 43s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-latest)
10m 43s
ciok
1s
1h 26m 44s