mir-semantics/ci fbfc8d69f5d5855c59c14fd207659808395c9d0d Public Latest

Install from the command line

Learn more about packages


      
  
      
        $ docker pull ghcr.io/runtimeverification/mir-semantics/ci:fbfc8d69f5d5855c59c14fd207659808395c9d0d

Recent tagged image versions

fbfc8d69f5d5855c59c14fd207659808395c9d0d

Published about 2 months ago · Digest
sha256:cadb5d31d380486d8aebb4539dc3d0d52f2bd1ffebce0a00cd9881b8812e8655

11 Version downloads

View all tagged versions

Loading

Details

runtimeverification
mir-semantics
BSD 3-Clause "New" or "Revised" License
43 stars

Last published

2 months ago

Issues

87

Total downloads

11

Contributors 24

+ 9 contributors

Open an issue