https://github.com/codewars/lean
Container image for Lean
https://github.com/codewars/lean
code-runner code-runner-image
Last synced: 6 months ago
JSON representation
Container image for Lean
- Host: GitHub
- URL: https://github.com/codewars/lean
- Owner: codewars
- License: mit
- Created: 2022-02-09T07:42:38.000Z (almost 4 years ago)
- Default Branch: main
- Last Pushed: 2022-02-11T08:12:54.000Z (almost 4 years ago)
- Last Synced: 2025-02-27T07:11:26.331Z (10 months ago)
- Topics: code-runner, code-runner-image
- Language: Dockerfile
- Homepage:
- Size: 8.79 KB
- Stars: 0
- Watchers: 5
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Lean
Container image for Lean used by CodeRunner.
## Usage
```bash
W=/workspace/
# Create container
C=$(docker container create --rm -w $W ghcr.io/codewars/lean:latest lean test/SolutionTest.lean)
# Copy files from the current directory
# src/Solution.lean
# src/Preloaded.lean
# test/SolutionTest.lean
docker container cp src $C:$W
docker container cp test $C:$W
# Run tests
docker container start --attach $C
```
## Building
```bash
$ docker build -t ghcr.io/codewars/lean:latest .
```