Doc: add missing Michelson COMPARE variants

50 jobs for raphael@doc-for-compare--fixes-546 in 1 minute and 22 seconds (queued for 7 seconds)
Status Job ID Name Coverage
  Build
failed #254687501
gitlab-org
build

00:01:21

failed #254687498
gitlab-org
check_linting

00:01:19

failed #254687496
gitlab-org
check_opam_deps

00:01:21

passed #254687497
gitlab-org
check_opam_lint

00:00:17

 
  Test
skipped #254687572
gitlab-org
documentation:build
skipped #254687573
gitlab-org allowed to fail
documentation:linkcheck
skipped #254687544
gitlab-org
integration:baker_endorser
skipped #254687545
gitlab-org
integration:basic
skipped #254687532
gitlab-org
integration:basic.sh
skipped #254687546
gitlab-org
integration:contract
skipped #254687548
gitlab-org
integration:contract_baker
skipped #254687533
gitlab-org
integration:contracts.sh
skipped #254687535
gitlab-org
integration:contracts_macros.sh
skipped #254687536
gitlab-org
integration:contracts_mini_scenarios.sh
skipped #254687534
gitlab-org
integration:contracts_opcode.sh
skipped #254687551
gitlab-org
integration:cors
skipped #254687569
gitlab-org
integration:double_endorsement
skipped #254687538
gitlab-org
integration:inject.sh
skipped #254687553
gitlab-org
integration:injection
skipped #254687554
gitlab-org
integration:many_bakers
skipped #254687560
gitlab-org
integration:many_nodes
skipped #254687563
gitlab-org
integration:mempool
skipped #254687565
gitlab-org
integration:multinode
skipped #254687537
gitlab-org
integration:multinode.sh
skipped #254687540
gitlab-org
integration:proto:sandbox
skipped #254687571
gitlab-org
integration:proto_demo_noops
skipped #254687566
gitlab-org
integration:rpc
skipped #254687542
gitlab-org
integration:sandboxes:acc-baking
skipped #254687543
gitlab-org
integration:sandboxes:acc-endorsement
skipped #254687541
gitlab-org allowed to fail
integration:sandboxes:voting
skipped #254687570
gitlab-org
integration:snapshot
skipped #254687567
gitlab-org
integration:tls
skipped #254687568
gitlab-org
integration:voting
skipped #254687539
gitlab-org
integration:voting.sh
skipped #254687518
gitlab-org
unit:crypto
skipped #254687507
gitlab-org
unit:data_encoding
skipped #254687531
gitlab-org
unit:micheline
skipped #254687529
gitlab-org
unit:p2p:banned_peers
skipped #254687520
gitlab-org
unit:p2p:io-scheduler
skipped #254687528
gitlab-org
unit:p2p:ipv6set
skipped #254687526
gitlab-org
unit:p2p:peerset
skipped #254687523
gitlab-org
unit:p2p:pool
skipped #254687521
gitlab-org
unit:p2p:socket
skipped #254687525
gitlab-org
unit:proto_alpha:lib_client
skipped #254687524
gitlab-org
unit:proto_alpha:lib_protocol
skipped #254687519
gitlab-org
unit:shell
skipped #254687502
gitlab-org
unit:stdlib
skipped #254687503
gitlab-org
unit:stdlib_unix
skipped #254687512
gitlab-org
unit:storage
skipped #254687530
gitlab-org
unit:validation
 
Name Stage Failure
failed
build Build
Running on runner-1d6b581d-project-9487506-concurrent-0 via runner-1d6b581d-gsrm-1563468737-f7357324...
Fetching changes with git depth set to 1...
Initialized empty Git repository in /builds/nomadic-labs/tezos/.git/
Created fresh repository.
fatal: Couldn't find remote ref refs/heads/raphael@doc-for-compare--fixes-546
Fetching changes with git depth set to 1...
Reinitialized existing Git repository in /builds/nomadic-labs/tezos/.git/
fatal: Couldn't find remote ref refs/heads/raphael@doc-for-compare--fixes-546
ERROR: Job failed: exit code 1
failed
check_opam_deps Build
Running on runner-9538b0ab-project-9487506-concurrent-0 via runner-9538b0ab-gsrm-1563469160-0623c667...
Fetching changes with git depth set to 1...
Initialized empty Git repository in /builds/nomadic-labs/tezos/.git/
Created fresh repository.
fatal: Couldn't find remote ref refs/heads/raphael@doc-for-compare--fixes-546
Fetching changes with git depth set to 1...
Reinitialized existing Git repository in /builds/nomadic-labs/tezos/.git/
fatal: Couldn't find remote ref refs/heads/raphael@doc-for-compare--fixes-546
ERROR: Job failed: exit code 1
failed
check_linting Build
Running on runner-9538b0ab-project-9487506-concurrent-0 via runner-9538b0ab-gsrm-1563469121-3adfcba4...
Fetching changes with git depth set to 1...
Initialized empty Git repository in /builds/nomadic-labs/tezos/.git/
Created fresh repository.
fatal: Couldn't find remote ref refs/heads/raphael@doc-for-compare--fixes-546
Fetching changes with git depth set to 1...
Reinitialized existing Git repository in /builds/nomadic-labs/tezos/.git/
fatal: Couldn't find remote ref refs/heads/raphael@doc-for-compare--fixes-546
ERROR: Job failed: exit code 1