Skip to content

Commit

Permalink
Add caveat to cryptol-remote-api README regarding shipped containers …
Browse files Browse the repository at this point in the history 
…default python version.
  • Loading branch information
@mccleeary-galois
mccleeary-galois committed May 15, 2024
1 parent f0e9da1 commit b45eb4a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion cryptol-remote-api/python/README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -198,4 +198,4 @@ guarantee any previous state on the server is cleared.

## Supported Python Versions

Currently `cryptol-remote-api supports` python `3.12` and is untested on other versions.
Currently `cryptol-remote-api` supports python `3.12`. The `cryptol-remote-api` currently uses the default ubuntu 22.04 version and will be updated in issue #1661.

0 comments on commit b45eb4a

Please sign in to comment.