Revert "stdlib: dagger.io/dagger/op: stricter typing for load, mount, copy"
This reverts commit 3e2b46bf3a
.
Signed-off-by: Andrea Luzzardi <aluzzardi@gmail.com>
This commit is contained in:
parent
d2d0734eaa
commit
877b12fe4b
@ -1,11 +1,6 @@
|
|||||||
// op: low-level operations for Dagger processing pipelines
|
// op: low-level operations for Dagger processing pipelines
|
||||||
package op
|
package op
|
||||||
|
|
||||||
// Cue data which can be executed as code
|
|
||||||
#Runnable: [...#Op] | {#up: [...#Op]
|
|
||||||
...
|
|
||||||
}
|
|
||||||
|
|
||||||
// One operation in a pipeline
|
// One operation in a pipeline
|
||||||
#Op: #Export |
|
#Op: #Export |
|
||||||
#FetchContainer |
|
#FetchContainer |
|
||||||
@ -38,7 +33,7 @@ package op
|
|||||||
|
|
||||||
#Load: {
|
#Load: {
|
||||||
do: "load"
|
do: "load"
|
||||||
from: #Runnable
|
from: _
|
||||||
}
|
}
|
||||||
|
|
||||||
#Subdir: {
|
#Subdir: {
|
||||||
@ -53,7 +48,7 @@ package op
|
|||||||
// `true` means also ignoring the mount cache volumes
|
// `true` means also ignoring the mount cache volumes
|
||||||
always?: true | *false
|
always?: true | *false
|
||||||
dir: string | *"/"
|
dir: string | *"/"
|
||||||
mount: [string]: "tmpfs" | "cache" | {from: #Runnable, path: string | *"/"}
|
mount: [string]: "tmpfs" | "cache" | {from: _, path: string | *"/"}
|
||||||
}
|
}
|
||||||
|
|
||||||
#FetchContainer: {
|
#FetchContainer: {
|
||||||
@ -74,7 +69,7 @@ package op
|
|||||||
|
|
||||||
#Copy: {
|
#Copy: {
|
||||||
do: "copy"
|
do: "copy"
|
||||||
from: #Runnable
|
from: _
|
||||||
src: string | *"/"
|
src: string | *"/"
|
||||||
dest: string | *"/"
|
dest: string | *"/"
|
||||||
}
|
}
|
||||||
@ -82,7 +77,7 @@ package op
|
|||||||
#DockerBuild: {
|
#DockerBuild: {
|
||||||
do: "docker-build"
|
do: "docker-build"
|
||||||
// We accept either a context, a Dockerfile or both together
|
// We accept either a context, a Dockerfile or both together
|
||||||
context?: #Runnable
|
context?: _
|
||||||
dockerfilePath?: string // path to the Dockerfile (defaults to "Dockerfile")
|
dockerfilePath?: string // path to the Dockerfile (defaults to "Dockerfile")
|
||||||
dockerfile?: string
|
dockerfile?: string
|
||||||
|
|
||||||
|
Reference in New Issue
Block a user