GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-10-03 17:07:41 +03:00
Code Issues Projects Releases Wiki Activity
master
cryptol/dev
History
Marcella Hastings 36a6f576f6 dev-script: fix env variable handling #1673 
- change dockerfiles to hardcode environment variables instead of trying
  to source them from the script
- Fix a typo in setting LANG
2024-06-13 15:14:09 -04:00
..
dev_setup.sh dev-script: fix env variable handling #1673 2024-06-13 15:14:09 -04:00
ubuntu20.04.Dockerfile dev-script: fix env variable handling #1673 2024-06-13 15:14:09 -04:00
ubuntu22.04.Dockerfile dev-script: fix env variable handling #1673 2024-06-13 15:14:09 -04:00