[0KRunning with gitlab-runner 17.8.1 (a1fca00e)[0;m
[0K on semigroup for gl.kwarc.info 7UAjW-Jc, system ID: s_409f18dbad60[0;m
section_start:1737445524:prepare_executor
[0K[0K[36;1mPreparing the "docker" executor[0;m[0;m
[0KUsing Docker executor with image kwarc/jekyll-website-deployer ...[0;m
[0KPulling docker image kwarc/jekyll-website-deployer ...[0;m
[0KUsing docker image sha256:032bdac43b871c66c5cf1acf1edcd6b23e6f896962b5f0ded046fae036a7295f for kwarc/jekyll-website-deployer with digest kwarc/jekyll-website-deployer@sha256:053c4604b9e3dea8a92711dace620c5070166e50b9002f88f198d2d6b2f9503e ...[0;m
section_end:1737445545:prepare_executor
[0Ksection_start:1737445545:prepare_script
[0K[0K[36;1mPreparing environment[0;m[0;m
Running on runner-7uajw-jc-project-350-concurrent-0 via semigroup...
section_end:1737445546:prepare_script
[0Ksection_start:1737445546:get_sources
[0K[0K[36;1mGetting source from Git repository[0;m[0;m
[32;1mFetching changes...[0;m
Reinitialized existing Git repository in /builds/kwarc/kwarc.info/www/.git/
[32;1mChecking out 35b113b5 as detached HEAD (ref is master)...[0;m
Removing Gemfile.lock
Removing _site/
[32;1mSkipping Git submodules setup[0;m
section_end:1737445547:get_sources
[0Ksection_start:1737445547:step_script
[0K[0K[36;1mExecuting "step_script" stage of the job script[0;m[0;m
[0KUsing docker image sha256:032bdac43b871c66c5cf1acf1edcd6b23e6f896962b5f0ded046fae036a7295f for kwarc/jekyll-website-deployer with digest kwarc/jekyll-website-deployer@sha256:053c4604b9e3dea8a92711dace620c5070166e50b9002f88f198d2d6b2f9503e ...[0;m
[32;1m$ echo "en_US UTF-8" > /etc/locale.gen[0;m
[32;1m$ which locale-gen || ( apt-get update -y && apt-get install locales )[0;m
/usr/sbin/locale-gen
[32;1m$ export LANG=en_US.UTF-8[0;m
[32;1m$ export LANGUAGE=en_US:en[0;m
[32;1m$ export LC_ALL=en_US.UTF-8[0;m
[32;1m$ which ssh-agent || ( apt-get update -y && apt-get install openssh-client -y )[0;m
/usr/bin/ssh-agent
[32;1m$ which rsync || ( apt-get update -y && apt-get install rsync -y )[0;m
/usr/bin/rsync
[32;1m$ which bundle || ( gem install bundler )[0;m
/usr/bin/bundle
[32;1m$ bundle install[0;m
Don't run Bundler as root. Bundler can ask for sudo if it is needed, and
installing your bundle as root will break this application for all non-root
users on this machine.
Fetching gem metadata from https://rubygems.org/...........
Fetching gem metadata from https://rubygems.org/.
Resolving dependencies.......
Fetching concurrent-ruby 1.3.5
Installing concurrent-ruby 1.3.5
Using i18n 0.9.5
Fetching minitest 5.15.0
Installing minitest 5.15.0
Using thread_safe 0.3.6
Fetching tzinfo 1.2.11
Installing tzinfo 1.2.11
Fetching zeitwerk 2.6.18
Installing zeitwerk 2.6.18
Fetching activesupport 6.0.6.1
Installing activesupport 6.0.6.1
Fetching public_suffix 4.0.7
Installing public_suffix 4.0.7
Fetching addressable 2.8.7
Installing addressable 2.8.7
Fetching base64 0.2.0
Installing base64 0.2.0
Using bundler 1.17.3
Using coffee-script-source 1.11.1
Fetching execjs 2.10.0
Installing execjs 2.10.0
Using coffee-script 2.4.1
Using colorator 1.1.0
Fetching ruby-enum 0.9.0
Installing ruby-enum 0.9.0
Using commonmarker 0.17.13
Fetching simpleidn 0.2.3
Installing simpleidn 0.2.3
Fetching dnsruby 1.72.3
Installing dnsruby 1.72.3
Using eventmachine 1.2.7
Fetching http_parser.rb 0.8.0
Installing http_parser.rb 0.8.0 with native extensions
Fetching em-websocket 0.5.3
Installing em-websocket 0.5.3
Fetching ffi 1.16.3
Installing ffi 1.16.3 with native extensions
Fetching ethon 0.16.0
Installing ethon 0.16.0
Fetching faraday-em_http 1.0.0
Installing faraday-em_http 1.0.0
Fetching faraday-em_synchrony 1.0.0
Installing faraday-em_synchrony 1.0.0
Fetching faraday-excon 1.1.0
Installing faraday-excon 1.1.0
Fetching faraday-httpclient 1.0.1
Installing faraday-httpclient 1.0.1
Fetching multipart-post 2.4.1
Installing multipart-post 2.4.1
Fetching faraday-multipart 1.1.0
Installing faraday-multipart 1.1.0
Fetching faraday-net_http 1.0.2
Installing faraday-net_http 1.0.2
Fetching faraday-net_http_persistent 1.2.0
Installing faraday-net_http_persistent 1.2.0
Fetching faraday-patron 1.0.0
Installing faraday-patron 1.0.0
Fetching faraday-rack 1.0.0
Installing faraday-rack 1.0.0
Fetching faraday-retry 1.0.3
Installing faraday-retry 1.0.3
Fetching ruby2_keywords 0.0.5
Installing ruby2_keywords 0.0.5
Fetching faraday 1.10.4
Installing faraday 1.10.4
Using forwardable-extended 2.6.0
Using gemoji 3.0.1
Fetching sawyer 0.9.2
Installing sawyer 0.9.2
Fetching octokit 4.25.1
Installing octokit 4.25.1
Fetching typhoeus 1.4.1
Installing typhoeus 1.4.1
Fetching github-pages-health-check 1.17.9
Installing github-pages-health-check 1.17.9
Fetching rb-fsevent 0.11.2
Installing rb-fsevent 0.11.2
Fetching rb-inotify 0.11.1
Installing rb-inotify 0.11.1
Using sass-listen 4.0.0
Using sass 3.7.4
Using jekyll-sass-converter 1.5.2
Fetching listen 3.9.0
Installing listen 3.9.0
Using jekyll-watch 2.2.1
Fetching rexml 3.4.0
Installing rexml 3.4.0
Fetching kramdown 2.3.1
Installing kramdown 2.3.1
Using liquid 4.0.3
Using mercenary 0.3.6
Using pathutil 0.16.2
Fetching rouge 3.26.0
Installing rouge 3.26.0
Using safe_yaml 1.0.5
Fetching jekyll 3.9.0
Installing jekyll 3.9.0
Using jekyll-avatar 0.7.0
Using jekyll-coffeescript 1.1.1
Using jekyll-commonmark 1.3.1
Using jekyll-commonmark-ghpages 0.1.6
Using jekyll-default-layout 0.1.4
Fetching jekyll-feed 0.15.1
Installing jekyll-feed 0.15.1
Using jekyll-gist 1.5.0
Using jekyll-github-metadata 2.13.0
Fetching jekyll-include-cache 0.2.1
Installing jekyll-include-cache 0.2.1
Fetching mini_portile2 2.6.1
Installing mini_portile2 2.6.1
Fetching racc 1.8.1
Installing racc 1.8.1 with native extensions
Fetching nokogiri 1.12.5 (x86_64-linux)
Installing nokogiri 1.12.5 (x86_64-linux)
Fetching html-pipeline 2.14.3
Installing html-pipeline 2.14.3
Fetching jekyll-mentions 1.6.0
Installing jekyll-mentions 1.6.0
Using jekyll-optional-front-matter 0.3.2
Using jekyll-paginate 1.1.0
Using jekyll-readme-index 0.3.0
Fetching jekyll-redirect-from 0.16.0
Installing jekyll-redirect-from 0.16.0
Using jekyll-relative-links 0.6.1
Fetching rubyzip 2.4.1
Installing rubyzip 2.4.1
Fetching jekyll-remote-theme 0.4.3
Installing jekyll-remote-theme 0.4.3
Fetching jekyll-seo-tag 2.7.1
Installing jekyll-seo-tag 2.7.1
Using jekyll-sitemap 1.4.0
Using jekyll-swiss 1.0.0
Fetching jekyll-theme-architect 0.2.0
Installing jekyll-theme-architect 0.2.0
Fetching jekyll-theme-cayman 0.2.0
Installing jekyll-theme-cayman 0.2.0
Fetching jekyll-theme-dinky 0.2.0
Installing jekyll-theme-dinky 0.2.0
Fetching jekyll-theme-hacker 0.2.0
Installing jekyll-theme-hacker 0.2.0
Fetching jekyll-theme-leap-day 0.2.0
Installing jekyll-theme-leap-day 0.2.0
Fetching jekyll-theme-merlot 0.2.0
Installing jekyll-theme-merlot 0.2.0
Fetching jekyll-theme-midnight 0.2.0
Installing jekyll-theme-midnight 0.2.0
Fetching jekyll-theme-minimal 0.2.0
Installing jekyll-theme-minimal 0.2.0
Fetching jekyll-theme-modernist 0.2.0
Installing jekyll-theme-modernist 0.2.0
Fetching jekyll-theme-primer 0.6.0
Installing jekyll-theme-primer 0.6.0
Fetching jekyll-theme-slate 0.2.0
Installing jekyll-theme-slate 0.2.0
Fetching jekyll-theme-tactile 0.2.0
Installing jekyll-theme-tactile 0.2.0
Fetching jekyll-theme-time-machine 0.2.0
Installing jekyll-theme-time-machine 0.2.0
Using jekyll-titles-from-headings 0.5.3
Fetching jemoji 0.12.0
Installing jemoji 0.12.0
Fetching kramdown-parser-gfm 1.1.0
Installing kramdown-parser-gfm 1.1.0
Using minima 2.5.1
Fetching unicode-display_width 1.8.0
Installing unicode-display_width 1.8.0
Using terminal-table 1.8.0
Fetching github-pages 223
Installing github-pages 223
Fetching rack 2.2.10
Installing rack 2.2.10
Fetching sprockets 3.7.5
Installing sprockets 3.7.5
Fetching webrick 1.9.1
Installing webrick 1.9.1
Bundle complete! 4 Gemfile dependencies, 105 gems now installed.
Use `bundle info [gemname]` to see where a bundled gem is installed.
Post-install message from dnsruby:
Installing dnsruby...
For issues and source code: https://github.com/alexdalitz/dnsruby
For general discussion (please tell us how you use dnsruby): https://groups.google.com/forum/#!forum/dnsruby
Post-install message from html-pipeline:
-------------------------------------------------
Thank you for installing html-pipeline!
You must bundle Filter gem dependencies.
See html-pipeline README.md for more details.
https://github.com/jch/html-pipeline#dependencies
-------------------------------------------------
Post-install message from rubyzip:
RubyZip 3.0 is coming!
**********************
The public API of some Rubyzip classes has been modernized to use named
parameters for optional arguments. Please check your usage of the
following classes:
* `Zip::File`
* `Zip::Entry`
* `Zip::InputStream`
* `Zip::OutputStream`
* `Zip::DOSTime`
Run your test suite with the `RUBYZIP_V3_API_WARN` environment
variable set to see warnings about usage of the old API. This will
help you to identify any changes that you need to make to your code.
See https://github.com/rubyzip/rubyzip/wiki/Updating-to-version-3.x for
more information.
Please ensure that your Gemfiles and .gemspecs are suitably restrictive
to avoid an unexpected breakage when 3.0 is released (e.g. ~> 2.3.0).
See https://github.com/rubyzip/rubyzip for details. The Changelog also
lists other enhancements and bugfixes that have been implemented since
version 2.3.0.
[32;1m$ eval $(ssh-agent -s)[0;m
Agent pid 3359
[32;1m$ ssh-add <(echo "$SSH_PRIVATE_KEY")[0;m
Identity added: /dev/fd/63 (/dev/fd/63)
[32;1m$ mkdir -p ~/.ssh[0;m
[32;1m$ [[ -f /.dockerenv ]] && echo -e "Host *\n\tStrictHostKeyChecking no\n\n" > ~/.ssh/config[0;m
[32;1m$ bundle exec jekyll build -d _site[0;m
Configuration file: /builds/kwarc/kwarc.info/www/_config.yml
Source: /builds/kwarc/kwarc.info/www
Destination: _site
Incremental build: disabled. Enable with --incremental
Generating...
done in 8.595 seconds.
Auto-regeneration: disabled. Use --watch to enable.
[32;1m$ cd _site && rsync -rv -e "ssh -p $SSH_DEPLOY_PORT" --checksum --exclude='Gemfile' --delete-excluded --delete ./ root@deploy.kwarc.info:/root/data --delete[0;m
Warning: Permanently added '[deploy.kwarc.info]:8001,[10.188.48.218]:8001' (ECDSA) to the list of known hosts.
sending incremental file list
Gemfile.lock
atom.xml
index.html
contact/index.html
courses/index.html
courses/AIProj/index.html
courses/GenICT1/index.html
courses/GenICT2/index.html
courses/KRMT/index.html
courses/ai/index.html
courses/ai1/index.html
courses/ai2/index.html
courses/aisysproj/index.html
courses/complog/index.html
courses/comsem/index.html
courses/dbwa/index.html
courses/dynamics/index.html
courses/former/index.html
courses/gencs/index.html
courses/gencs1/index.html
courses/gencs2/index.html
courses/iwgs1/index.html
courses/iwgs2/index.html
courses/krsw/index.html
courses/lbs/index.html
courses/mathdata/index.html
courses/overview/index.html
courses/swuv/index.html
courses/symnlproj/index.html
courses/tdm/index.html
courses/theses/index.html
courses/topics/index.html
courses/ttt/index.html
courses/upcoming/index.html
courses/wuv/index.html
events/index.html
events/GI2020/index.html
events/GILogicWorkshops/index.html
events/GILogicWorkshops/2021/index.html
events/Tetrapod2018/index.html
hiring/index.html
hiring/almanac-phd/index.html
hiring/drupal-dev/index.html
hiring/oaf-phd/index.html
hiring/odk-phd/index.html
hiring/web-frontend-dev/index.html
news/index.html
news/2014/09/01/Professorship/index.html
news/2014/11/14/PhD-Defense/index.html
news/2015/04/01/New-Phd/index.html
news/2015/05/08/OpenDreamKit/index.html
news/2015/05/15/recruiting/index.html
news/2015/07/17/Best-Paper-Award-at-CICM/index.html
news/2015/07/22/New-Demo-OEIS/index.html
news/2016/07/11/KWARC-goes-FAU/index.html
news/2016/07/26/Florian-substitute-prof/index.html
news/2016/10/01/KWARC-established/index.html
news/2017/01/19/MathModels-Workshop/index.html
news/2017/03/24/WIAS/index.html
news/2017/04/26/ODK-review/index.html
news/2017/05/01/recruiting/index.html
news/2017/09/01/tetrapod/index.html
news/2017/09/01/tom/index.html
news/2018/03/22/recruiting/index.html
news/2018/06/01/jonas/index.html
news/2018/09/01/max_rapp/index.html
news/2018/11/01/postdocs/index.html
news/2018/12/18/MMTVersion/index.html
news/2018/12/19/DiscreteZOO/index.html
news/2018/12/19/IntelliJ/index.html
news/2018/12/19/MathDB-Survey/index.html
news/2019/03/24/MMTVersion/index.html
news/2019/12/06/frederik/index.html
news/2019/12/16/slo/index.html
news/2020/05/15/FrameIT/index.html
news/2021/12/01/VoLL-KI/index.html
news/2022/02/01/welcome-timur/index.html
news/2022/02/10/HIM-trimester/index.html
news/2022/02/27/sTeX3@CTAN/index.html
news/2022/05/04/MMT-release-22/index.html
news/2022/08/11/introducing-stex3/index.html
news/2022/09/14/tipes/index.html
news/2022/09/23/europroofnet/index.html
news/2022/10/24/dagstuhl/index.html
news/2023/01/20/lean_export/index.html
news/2023/01/23/hcm/index.html
news/page2/index.html
news/page3/index.html
news/page4/index.html
people/index.html
people/mkamaris.md
people/achugh/index.html
people/ahambasan/index.html
people/akohlhase/index.html
people/aschmidt/index.html
people/blaubner/index.html
people/cdavid/index.html
people/cjucovschi/index.html
people/clange/index.html
people/cmueller/index.html
people/cprodescu/index.html
people/cshi/index.html
people/dginev/index.html
people/dmueller/index.html
people/fhorozal/index.html
people/fihorozal/index.html
people/former/index.html
people/frabe/index.html
people/gschoenberger/index.html
people/hstamerjohanns/index.html
people/inormann/index.html
people/isucan/index.html
people/itoloaca/index.html
people/jbetzendahl/index.html
people/jfschaefer/index.html
people/jschihada/index.html
people/jsee/index.html
people/jvittinghoff/index.html
people/kamann/index.html
people/kbercic/index.html
people/ksojakova/index.html
people/mgrigore/index.html
people/miancu/index.html
people/mkamaris/
people/mkamaris/index.html
people/mkohlhase/index.html
people/mmakaveeva/index.html
people/mrapp/index.html
people/mrupprecht/index.html
people/mschuetz/index.html
people/mwagner/index.html
people/nmueller/index.html
people/nroux/index.html
people/pzoleko/index.html
people/rhambasan/index.html
people/rmarcus/index.html
people/sanca/index.html
people/sdumbrava/index.html
people/swille/index.html
people/tpollinger/index.html
people/twiesing/index.html
people/urabenstein/index.html
people/vzholudev/index.html
projects/index.html
projects/FormalCAD/index.html
projects/almanac/index.html
projects/arXMLiv/index.html
projects/comma/index.html
projects/completed/index.html
projects/direga/index.html
projects/jem/index.html
projects/latin/index.html
projects/logosphere/index.html
projects/mamored/index.html
projects/mathsearch/index.html
projects/mdh/index.html
projects/oaf/index.html
projects/odk/index.html
projects/omoc/index.html
projects/once-cs/index.html
projects/openmath-tn/index.html
projects/sissi/index.html
projects/tetrapod/index.html
projects/voll-ki/index.html
research/index.html
research/formal-methods/index.html
research/kminteract/index.html
research/semantization/index.html
research/structural-semantics/index.html
systems/index.html
systems/TNTBase/index.html
systems/cpoint/index.html
systems/frameit/index.html
systems/historic/index.html
systems/jobad/index.html
systems/jomdoc/index.html
systems/kat/index.html
systems/krextor/index.html
systems/llamapun/index.html
systems/mathhub/index.html
systems/mmt/index.html
systems/mws/index.html
systems/omdoc/index.html
systems/openmathmap/index.html
systems/orphans/index.html
systems/sTeX/index.html
systems/sally/index.html
systems/smglom/index.html
systems/swim/index.html
systems/tgview3d/index.html
sent 173,503 bytes received 17,141 bytes 127,096.00 bytes/sec
total size is 87,919,543 speedup is 461.17
section_end:1737445590:step_script
[0Ksection_start:1737445590:cleanup_file_variables
[0K[0K[36;1mCleaning up project directory and file based variables[0;m[0;m
section_end:1737445591:cleanup_file_variables
[0K[32;1mJob succeeded[0;m