Build and deploy devcontainer #15
mtzguidobuild-and-deploy.yml
on: schedule
build-and-push
19m 22s
Annotations
1 error
|
build-and-push
buildx failed with: ERROR: failed to build: failed to solve: process "/bin/sh -c eval $(opam env) && . $HOME/.profile && git clone --depth=1 https://github.com/FStarLang/pulse && cd pulse/ && make -j$(nproc) && make -j$(nproc) -C share/pulse/examples/" did not complete successfully: exit code: 2
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
FStarLang~pulse-sandbox~IPTPBU.dockerbuild
Expired
|
43.9 KB |
sha256:2e39d9b5d83a7328381c03213db225022da00660742f2f9c64faa17be367c69b
|
|