Logging at level: debug Configuration file: /github/workspace/./_config.yml GitHub Pages: github-pages v231 GitHub Pages: jekyll v3.9.5 Theme: jekyll-theme-primer Theme source: /usr/local/bundle/gems/jekyll-theme-primer-0.6.0 Requiring: jekyll-github-metadata Requiring: jekyll-seo-tag Requiring: jekyll-paginate Requiring: jekyll-coffeescript Requiring: jekyll-commonmark-ghpages Requiring: jekyll-gist Requiring: jekyll-github-metadata Requiring: jekyll-relative-links Requiring: jekyll-optional-front-matter Requiring: jekyll-readme-index Requiring: jekyll-default-layout Requiring: jekyll-titles-from-headings GitHub Metadata: Initializing... Source: /github/workspace/. Destination: /github/workspace/./_site Incremental build: disabled. Enable with --incremental Generating... EntryFilter: excluded /README.md EntryFilter: excluded /package.json EntryFilter: excluded /Gruntfile.js EntryFilter: excluded /less Reading: _posts/2024-04-17-roar.md Reading: _posts/2021-04-10-js-20yrs-preface.md Reading: _posts/2024-04-17-miruthan.md Reading: _posts/2021-01-19-the-systematic-failure-of-higher-education-in-china.md Reading: _posts/2018-06-30-dreamer.md Reading: _posts/2015-09-22-js-version.markdown Reading: _posts/2016-11-20-sw-101-gdgdf.markdown Reading: _posts/2015-03-25-digital-native.markdown Reading: _posts/2024-04-17-galvanisation.md Reading: _posts/2019-09-03-vim-from-finder.md Reading: _posts/2015-03-31-e2e_user_scenarios.markdown Reading: _posts/hidden/2020-05-05-pl-chart.md Reading: _posts/2016-02-01-React-vs-Angular2.markdown Reading: _posts/2014-11-20-responsive-web-design.markdown Reading: _posts/2017-04-06-html-document.md Reading: _posts/2018-05-11-pwa-zh-preface.md Reading: _posts/cs_idols/2019-09-13-peter-john-landin.md Reading: _posts/data_rep/2020-06-21-data-rep-todo.md Reading: _posts/data_rep/2020-06-21-data-rep-float.md Reading: _posts/data_rep/2020-06-19-data-rep-int.md Reading: _posts/2015-12-15-ios9-safari-web.markdown Reading: _posts/2015-10-28-how-designer-learn-fe.markdown Reading: _posts/2019-11-19-is-pwa-dead-in-2019.md Reading: _posts/2017-12-12-uncomputable-funcs.md Reading: _posts/2015-05-11-see-u-ali.markdown Reading: _posts/2014-12-13-wechat-block-kuaidi.markdown Reading: _posts/2018-10-06-vim-cn-im.md Reading: _posts/2024-04-17-ipsum-2.md Reading: _posts/read_sf_lf/2019-01-07-sf-lf-07-indprop.md Reading: _posts/read_sf_lf/2019-01-13-sf-lf-13-imp-parser.md Reading: _posts/read_sf_lf/2019-01-16-sf-lf-16-auto.md Reading: _posts/read_sf_lf/2019-01-02-sf-lf-02-induction.md Reading: _posts/read_sf_lf/2019-01-06-sf-lf-06-logic.md Reading: _posts/read_sf_lf/2019-01-05-sf-lf-05-tactics.md Reading: _posts/read_sf_lf/2019-01-03-sf-lf-03-list.md Reading: _posts/read_sf_lf/2019-01-01-sf-lf-01-basics.md Reading: _posts/read_sf_lf/2019-01-09-sf-lf-09-proof-object.md Reading: _posts/read_sf_lf/2019-01-14-sf-lf-14-imp-ceval.md Reading: _posts/read_sf_lf/2019-01-10-sf-lf-10-ind-principle.md Reading: _posts/read_sf_lf/2019-01-04-sf-lf-04-poly.md Reading: _posts/read_sf_lf/2019-01-12-sf-lf-12-imp.md Reading: _posts/read_sf_lf/2019-01-15-sf-lf-15-extraction.md Reading: _posts/read_sf_lf/2019-01-08-sf-lf-08-map.md Reading: _posts/read_sf_lf/2019-01-11-sf-lf-11-rel.md Reading: _posts/2014-01-29-hello-2015.markdown Reading: _posts/2024-04-17-osthe.md Reading: _posts/2024-04-17-prismatic-capybara.md Reading: _posts/2015-04-15-os-metro.markdown Reading: _posts/read_sf_plf/2019-03-15-sf-plf-15-norm-STLC.md Reading: _posts/read_sf_plf/2019-03-01-sf-plf-01-equiv.md Reading: _posts/read_sf_plf/2019-03-05-sf-plf-05-smallstep.md Reading: _posts/read_sf_plf/2019-03-09-sf-plf-09-more-STLC.md Reading: _posts/read_sf_plf/2019-03-12-sf-plf-12-records.md Reading: _posts/read_sf_plf/2019-03-17-sf-plf-17-use-tactics.md Reading: _posts/read_sf_plf/2019-03-10-sf-plf-10-subtyping.md Reading: _posts/read_sf_plf/2019-03-06-sf-plf-06-types.md Reading: _posts/read_sf_plf/2019-03-13-sf-plf-13-references.md Reading: _posts/read_sf_plf/2019-03-11-sf-plf-11-typechecking.md Reading: _posts/read_sf_plf/2019-03-03-sf-plf-03-hoare-2.md Reading: _posts/