Skip to content

fstar-ci-base

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

Recent tagged image versions

  • latest
    Published 3 months ago · Digest
    sha256:9a5d3e767107b6c7588c2bd62e242a242b85aa195f730c313896719af2b8b805
    7 Version downloads
View all tagged versions

Loading

Details

Last published

3 months ago

Discussions

63

Issues

544

Total downloads

9