https://github.com/codewars/agda
Container image for Agda
https://github.com/codewars/agda
code-runner code-runner-image
Last synced: 25 days ago
JSON representation
Container image for Agda
- Host: GitHub
- URL: https://github.com/codewars/agda
- Owner: codewars
- License: mit
- Created: 2022-06-07T01:26:24.000Z (almost 4 years ago)
- Default Branch: main
- Last Pushed: 2022-06-13T23:58:07.000Z (almost 4 years ago)
- Last Synced: 2025-11-20T20:26:20.887Z (4 months ago)
- Topics: code-runner, code-runner-image
- Language: Dockerfile
- Size: 7.81 KB
- Stars: 2
- Watchers: 4
- Forks: 2
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Agda
Container image for Agda used by CodeRunner.
## Usage
```bash
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
```bash
$ docker build -t ghcr.io/codewars/agda:latest .
```