mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-08-17 01:41:09 +03:00
Add gitpod button to README
This commit is contained in:
parent
5b53599c8e
commit
500735eb91
@ -1,4 +1,6 @@
|
||||
[![Cryptol](https://github.com/GaloisInc/cryptol/workflows/Cryptol/badge.svg)](https://github.com/GaloisInc/cryptol/actions?query=workflow%3ACryptol)
|
||||
[![Open in Gitpod](https://gitpod.io/button/open-in-gitpod.svg)](https://gitpod.io/#https://github.com/GaloisInc/cryptol)
|
||||
|
||||
|
||||
# Cryptol, version 2
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user