Skip to content

Latest commit

 

History

History
25 lines (18 loc) · 506 Bytes

README.md

File metadata and controls

25 lines (18 loc) · 506 Bytes

Agda

Container image for Agda used by CodeRunner.

Usage

W=/workspace/agda
# Create container
C=$(docker container create --rm -w $W ghcr.io/codewars/agda:latest agda --verbose=0 --include-path=. --library=standard-library --library=cubical ExampleTest.agda)

# Copy files from the current directory
# Example.agda
# ExampleTest.agda
docker container cp ./. $C:$W

# Run tests
docker container start --attach $C

Building

$ docker build -t ghcr.io/codewars/agda:latest .