Skip to content
docs

Merge pull request #1281 from goblint/remove_file_and_spec #210

Sign in to view logs

Merge pull request #1281 from goblint/remove_file_and_spec

Merge pull request #1281 from goblint/remove_file_and_spec #210

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)
4m 56s
api-deploy
8s
5m 4s