Skip to content

fstar-ci-base latest Public Latest

Install from the command line
Learn more about packages
$ docker pull ghcr.io/fstarlang/fstar-ci-base:latest

Recent tagged image versions

  • Published 4 months ago · Digest
    sha256:9a5d3e767107b6c7588c2bd62e242a242b85aa195f730c313896719af2b8b805
    7 Version downloads

Loading

Details


Last published

4 months ago

Discussions

63

Issues

541

Total downloads

9