Skip to content

Commit 3e84dcf

Browse files
committed
move from mina to fix permissions. remove unused types
1 parent 636eae1 commit 3e84dcf

File tree

2 files changed

+21
-35
lines changed

2 files changed

+21
-35
lines changed
Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,21 @@
1+
let Cmd = ../Lib/Cmds.dhall
2+
3+
let Arch = ../Constants/Arch.dhall
4+
5+
let ContainerImages = ../Constants/ContainerImages.dhall
6+
7+
let fixPermissionsScript = "sudo chown -R opam ."
8+
9+
let command
10+
: Arch.Type -> Cmd.Type
11+
= \(arch : Arch.Type)
12+
-> let image =
13+
merge
14+
{ Amd64 = ContainerImages.minaToolchainBullseye.amd64
15+
, Arm64 = ContainerImages.minaToolchainBullseye.arm64
16+
}
17+
arch
18+
19+
in Cmd.runInDocker Cmd.Docker::{ image = image } fixPermissionsScript
20+
21+
in { command = command }

buildkite/src/Command/Mina.dhall

Lines changed: 0 additions & 35 deletions
This file was deleted.

0 commit comments

Comments
 (0)