Skip to content
docs

Merge pull request #1138 from goblint/libfuns-silver-searcher #87

Sign in to view logs

Merge pull request #1138 from goblint/libfuns-silver-searcher

Merge pull request #1138 from goblint/libfuns-silver-searcher #87

Run time

Learn about OS pricing on GitHub Actions
Job Run time
api-build (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
1m 48s
api-deploy
1s
1m 49s