Remove unused Dockerfile and CI building image

Signed-off-by: Eryk Szpotanski <[email protected]>
antmicro · Apr 23, 2024 · c09d39e · c09d39e
1 parent 2339f4f
commit c09d39e
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 59 deletions.
diff --git a/.github/workflows/ci_docker.yml b/.github/workflows/ci_docker.yml
diff --git a/Dockerfile b/Dockerfile