GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-14 11:16:33 +03:00
Code Issues Projects Releases Wiki Activity

bump cryptol-remote-api test docker file to python 3.12

Browse Source
This commit is contained in:
Ryan 2024-05-15 08:29:56 -06:00
parent d29ac4f672
commit e49cd81aa7
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cryptol-remote-api/test.Dockerfile
View File

@ -1,4 +1,4 @@
FROM python:3.11
FROM python:3.12
# Intended to be built from the root of the cryptol git repository
COPY cryptol-remote-api/python python