OCamllabs icon Home|Differences with the last checks|Previous runs


Building on cree.ocamllabs.io

(from ocaml/opam:debian-unstable@sha256:7054d8a46152338971700614b854690c8ce1a3d6024d9e66b018a8e73119aa3f)
Unable to find image 'ocaml/opam:debian-unstable@sha256:7054d8a46152338971700614b854690c8ce1a3d6024d9e66b018a8e73119aa3f' locally
docker.io/ocaml/opam@sha256:7054d8a46152338971700614b854690c8ce1a3d6024d9e66b018a8e73119aa3f: Pulling from ocaml/opam
2db5444d1f5b: Already exists
f086bebd22a1: Pulling fs layer
3264a46f1e18: Pulling fs layer
3264a46f1e18: Verifying Checksum
3264a46f1e18: Download complete
f086bebd22a1: Verifying Checksum
f086bebd22a1: Download complete
f086bebd22a1: Pull complete
3264a46f1e18: Pull complete
Digest: sha256:7054d8a46152338971700614b854690c8ce1a3d6024d9e66b018a8e73119aa3f
Status: Downloaded newer image for ocaml/opam@sha256:7054d8a46152338971700614b854690c8ce1a3d6024d9e66b018a8e73119aa3f
2022-03-03 17:12.11 ---> using "373f9b631d075c18f7442f5ab0fc65a1fd416e45c4bad373f7db673d6cf80f59" from cache

/: (user (uid 1000) (gid 1000))

/: (env OPAMPRECISETRACKING 1)

/: (env OPAMUTF8 never)

/: (env OPAMEXTERNALSOLVER builtin-0install)

/: (env OPAMCRITERIA +removed)

/: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2022-03-03 17:12.11 ---> using "88849b7b49c5c9e5ea88c51a2386f85dc9692b3cbbbdfa071a4b6fb51a141dbe" from cache

/: (run (network host)
        (shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q 892f7bcbcb6c1fd05911ac75d53aa8c9f717b4b0"))
2022-03-03 17:12.11 ---> using "404c235885055cd745b552882486f8b810a0b774621d6103597df8eba1715fda" from cache

/: (run (shell "rm -rf ~/.opam && opam init -ya --bare --config ~/.opamrc-sandbox ~/opam-repository"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults.
Checking for available remotes: rsync and local, git.
  - you won't be able to use mercurial repositories unless you install the hg command on your system.
  - you won't be able to use darcs repositories unless you install the darcs command on your system.


<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised

User configuration:
  ~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.

2022-03-03 17:12.11 ---> using "0af54149d5e87a921b7dadf447f75ea502ca8353b2aa045688bdf344893d2879" from cache

/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
        (network host)
        (shell "opam switch create --repositories=default '4.13' '4.13.1'"))

<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.13.1"} | "ocaml-system" {= "4.13.1"}]

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.4.13.1  (cached)
-> installed ocaml-base-compiler.4.13.1
-> installed ocaml-config.2
-> installed ocaml.4.13.1
Done.
# Run eval $(opam env --switch=4.13) to update the current shell environment
2022-03-03 17:12.11 ---> using "3a221f821d43bba87e0b21c8d9116ab8da8663a4d1212bf4a7506999a3565510" from cache

/: (run (network host)
        (shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [165 kB]
- Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB]
- Ign:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages [9023 kB]
- Fetched 9252 kB in 2s (5602 kB/s)
- Reading package lists...
- 
2022-03-03 17:12.11 ---> using "6b3033fe3d101681f7b02bdf30bbb9f7fab1d4aa8c7abc4c2d21b923fed52b36" from cache

/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
        (network host)
        (shell  "\
               \nopam remove -y \"conf-bison.1\"\
               \nopam install -vy \"conf-bison.1\"\
               \nres=$?\
               \nif [ $res = 31 ]; then\
               \n    if opam show -f x-ci-accept-failures: \"conf-bison.1\" | grep -q '\"debian-unstable\"'; then\
               \n        echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\
               \n        exit 69\
               \n    fi\
               \nfi\
               \n\
               \n\
               \nexit $res\
               \n"))
[NOTE] conf-bison.1 is not installed.

Nothing to do.
The following actions will be performed:
  - install conf-bison 1

The following system packages will first need to be installed:
    bison

<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
Let opam run your package manager to install the required system packages?
(answer 'n' for other options) [Y/n] y
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "bison"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package libsigsegv2:amd64.
- (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 18398 files and directories currently installed.)
- Preparing to unpack .../libsigsegv2_2.14-1_amd64.deb ...
- Unpacking libsigsegv2:amd64 (2.14-1) ...
- Selecting previously unselected package m4.
- Preparing to unpack .../archives/m4_1.4.18-5_amd64.deb ...
- Unpacking m4 (1.4.18-5) ...
- Selecting previously unselected package bison.
- Preparing to unpack .../bison_2%3a3.8.2+dfsg-1_amd64.deb ...
- Unpacking bison (2:3.8.2+dfsg-1) ...
- Setting up libsigsegv2:amd64 (2.14-1) ...
- Setting up m4 (1.4.18-5) ...
- Setting up bison (2:3.8.2+dfsg-1) ...
- update-alternatives: using /usr/bin/bison.yacc to provide /usr/bin/yacc (yacc) in auto mode
- Processing triggers for libc-bin (2.33-5) ...

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  2/3: [conf-bison: bison]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "bison" "--help" (CWD=/home/opam/.opam/4.13/.opam-switch/build/conf-bison.1)
- Usage: bison [OPTION]... FILE
- Generate a deterministic LR or generalized LR (GLR) parser employing
- LALR(1), IELR(1), or canonical LR(1) parser tables.
- 
- Mandatory arguments to long options are mandatory for short options too.
- The same is true for optional arguments.
- 
- Operation Modes:
-   -h, --help                 display this help and exit
-   -V, --version              output version information and exit
-       --print-localedir      output directory containing locale-dependent data
-                              and exit
-       --print-datadir        output directory containing skeletons and XSLT
-                              and exit
-   -u, --update               apply fixes to the source grammar file and exit
-   -f, --feature[=FEATURES]   activate miscellaneous features
- 
- FEATURES is a list of comma separated words that can include:
-   caret, diagnostics-show-caret
-                     show errors with carets
-   fixit, diagnostics-parseable-fixits
-                     show machine-readable fixes
-   syntax-only       do not generate any file
-   all               all of the above
-   none              disable all of the above
- 
- Diagnostics:
-   -W, --warnings[=CATEGORY]  report the warnings falling in CATEGORY
-       --color[=WHEN]         whether to colorize the diagnostics
-       --style=FILE           specify the CSS FILE for colorizer diagnostics
- 
- Warning categories include:
-   conflicts-sr      S/R conflicts (enabled by default)
-   conflicts-rr      R/R conflicts (enabled by default)
-   counterexamples, cex
-                     generate conflict counterexamples
-   dangling-alias    string aliases not attached to a symbol
-   deprecated        obsolete constructs
-   empty-rule        empty rules without %empty
-   midrule-values    unset or unused midrule values
-   precedence        useless precedence and associativity
-   yacc              incompatibilities with POSIX Yacc
-   other             all other warnings (enabled by default)
-   all               all the warnings except 'counterexamples', 'dangling-alias' and 'yacc'
-   no-CATEGORY       turn off warnings in CATEGORY
-   none              turn off all the warnings
-   error[=CATEGORY]  treat warnings as errors
- 
- WHEN can be one of the following:
-   always, yes  colorize the output
-   never, no    don't colorize the output
-   auto, tty    colorize if the output device is a tty
- 
- Tuning the Parser:
-   -L, --language=LANGUAGE          specify the output programming language
-   -S, --skeleton=FILE              specify the skeleton to use
-   -t, --debug                      instrument the parser for tracing
-                                    same as '-Dparse.trace'
-       --locations                  enable location support
-   -D, --define=NAME[=VALUE]        similar to '%define NAME VALUE'
-   -F, --force-define=NAME[=VALUE]  override '%define NAME VALUE'
-   -p, --name-prefix=PREFIX         prepend PREFIX to the external symbols
-                                    deprecated by '-Dapi.prefix={PREFIX}'
-   -l, --no-lines                   don't generate '#line' directives
-   -k, --token-table                include a table of token names
-   -y, --yacc                       emulate POSIX Yacc
- 
- Output Files:
-   -H, --header=[FILE]           also produce a header file
-   -d                            likewise but cannot specify FILE (for POSIX Yacc)
-   -r, --report=THINGS           also produce details on the automaton
-       --report-file=FILE        write report to FILE
-   -v, --verbose                 same as '--report=state'
-   -b, --file-prefix=PREFIX      specify a PREFIX for output files
-   -o, --output=FILE             leave output to FILE
-   -g, --graph[=FILE]            also output a graph of the automaton
-       --html[=FILE]             also output an HTML report of the automaton
-   -x, --xml[=FILE]              also output an XML report of the automaton
-   -M, --file-prefix-map=OLD=NEW replace prefix OLD with NEW when writing file paths
-                                 in output files
- 
- THINGS is a list of comma separated words that can include:
-   states            describe the states
-   itemsets          complete the core item sets with their closure
-   lookaheads        explicitly associate lookahead tokens to items
-   solved            describe shift/reduce conflicts solving
-   counterexamples, cex
-                     generate conflict counterexamples
-   all               include all the above information
-   none              disable the report
- 
- Report bugs to <bug-bison@gnu.org>.
- GNU Bison home page: <https://www.gnu.org/software/bison/>.
- General help using GNU software: <https://www.gnu.org/gethelp/>.
- Report translation bugs to <https://translationproject.org/team/>.
- For complete documentation, run: info bison.
-> compiled  conf-bison.1
-> installed conf-bison.1
Done.
# Run eval $(opam env) to update the current shell environment
2022-03-03 17:12.25 ---> saved as "4d51a8458cae505960e432887c9bb100078eff207a1afdb736b97233edfe6913"
Job succeeded