Pipeline · concordium / smart-contract-interactions

Various clean ups

- Remove 'prove' tactic
- Remove some duplicated tactics and make some proofs more efficient

3 jobs for master in 1 minute (queued for 2 seconds)

5cd83c67

Status	Job ID	Name
Build
failed	#85089 au	coq:8.8	00:00:11 May 05, 2019
failed	#85090 au	coq:8.9	00:00:11 May 05, 2019
failed	#85091 au	coq:dev	00:00:49 May 05, 2019

	Name	Stage
failed	coq:dev	Build
	on au-runner1 54aab88d Using Docker executor with image coqorg/coq:dev ... Pulling docker image coqorg/coq:dev ... Using docker image sha256:04bc831fdfbeccd6432ed0fece1af7e8e833b6e6bea9eb5df84954cc72e8b1de for coqorg/coq:dev ... Running on runner-54aab88d-project-2289-concurrent-0 via gitrunning01.uni.au.dk... Reinitialized existing Git repository in /builds/jakobbotsch/smart-contracts/.git/ Fetching changes... fatal: unable to access 'https://gitlab-ci-token:xxxxxxxxxxxxxxxxxxxx@gitlab.au.dk/jakobbotsch/smart-contracts.git/': Could not resolve host: gitlab.au.dk ERROR: Job failed: exit code 1
failed	coq:8.9	Build
	on au-runner2 7ae4f001 Using Docker executor with image coqorg/coq:8.9 ... Pulling docker image coqorg/coq:8.9 ... Using docker image sha256:fd1833043684d796310813ac6a5f03217f9933c3f3a96aa85d739d311163bc0c for coqorg/coq:8.9 ... Running on runner-7ae4f001-project-2289-concurrent-0 via gitrunning02.uni.au.dk... Reinitialized existing Git repository in /builds/jakobbotsch/smart-contracts/.git/ Fetching changes... fatal: unable to access 'https://gitlab-ci-token:xxxxxxxxxxxxxxxxxxxx@gitlab.au.dk/jakobbotsch/smart-contracts.git/': Could not resolve host: gitlab.au.dk ERROR: Job failed: exit code 1
failed	coq:8.8	Build
	on au-runner1 54aab88d Using Docker executor with image coqorg/coq:8.8 ... Pulling docker image coqorg/coq:8.8 ... Using docker image sha256:0b0fc53c632f400207afd4497c7e6740b8ff43ec765f8636b6e88b50d530b9aa for coqorg/coq:8.8 ... Running on runner-54aab88d-project-2289-concurrent-0 via gitrunning01.uni.au.dk... Reinitialized existing Git repository in /builds/jakobbotsch/smart-contracts/.git/ Fetching changes... fatal: unable to access 'https://gitlab-ci-token:xxxxxxxxxxxxxxxxxxxx@gitlab.au.dk/jakobbotsch/smart-contracts.git/': Could not resolve host: gitlab.au.dk ERROR: Job failed: exit code 1