Pipeline · Nomadic Labs / Albert

WIP [spec|compiler] adding toplevel entrypoints and storage compil and typechecking

3 jobs for julien@entrypoints in 33 minutes and 39 seconds (queued for 1 second)

Status	Job ID	Name
Build
passed	#510382700	coq	00:08:10 Apr 14, 2020
failed	#510382687	coq:8.8	00:06:28 Apr 14, 2020
passed	#510382691	coq:8.9	00:33:39 Apr 14, 2020

Name Stage Failure

	Name	Stage	Failure
failed	coq:8.8	Build
	`+- The following actions failed \| - build albert ~dev +- - No changes have been performed # Run eval $(opam env) to update the current shell environment [NOTE] Pinning command successful, but your installed packages may be out of sync. Running after_script Uploading artifacts for failed job ERROR: Job failed: exit code 1`

failed

coq:8.8

Build

+- The following actions failed
| - build albert ~dev
+- 
- No changes have been performed
# Run eval $(opam env) to update the current shell environment
[NOTE] Pinning command successful, but your installed packages may be out of sync.
Running after_script
Uploading artifacts for failed job
ERROR: Job failed: exit code 1