Logging at level: debug Configuration file: /github/workspace/./_config.yml Theme: minima Theme source: /usr/local/bundle/gems/minima-2.5.1 GitHub Pages: github-pages v228 GitHub Pages: jekyll v3.9.3 Theme: minima Theme source: /usr/local/bundle/gems/minima-2.5.1 Requiring: jekyll-feed Requiring: jekyll-seo-tag Requiring: jekyll-feed Requiring: jekyll-coffeescript Requiring: jekyll-commonmark-ghpages Requiring: jekyll-gist Requiring: jekyll-github-metadata Requiring: jekyll-paginate 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 /Gemfile.lock EntryFilter: excluded /Gemfile Reading: _posts/2023-11-08-cracking-the-coding-interview-in-dafny-permutations.markdown Reading: _posts/2023-12-15-teaching-program-verification-in-dafny-at-amazon.markdown Reading: _posts/2023-04-19-making-verification-compelling-visual-verification-feedback-for-dafny.markdown Reading: _posts/2023-10-11-insertion-sort.markdown Reading: _posts/2023-12-06-automated-test-generation-chess-puzzles-with-dafny.markdown Reading: _posts/2023-07-14-types-and-programming-languages.markdown Reading: _posts/2023-10-27-proof-dependencies.markdown Reading: _posts/2023-08-15-clear-specification-and-implementation.markdown Reading: _posts/2023-12-01-avoiding-verification-brittleness.markdown Reading: _posts/2023-03-03-dafny-4-released.markdown Generating: JekyllOptionalFrontMatter::Generator finished in 0.000234948 seconds. Generating: JekyllReadmeIndex::Generator finished in 0.001527875 seconds. Jekyll Feed: Generating feed for posts Generating: JekyllFeed::Generator finished in 0.000682612 seconds. Generating: Jekyll::Paginate::Pagination finished in 4.178e-06 seconds. Generating: JekyllRelativeLinks::Generator finished in 0.000167512 seconds. Generating: JekyllDefaultLayout::Generator finished in 7.9698e-05 seconds. Generating: JekyllTitlesFromHeadings::Generator finished in 2.2963e-05 seconds. Rendering: _posts/2023-03-03-dafny-4-released.markdown Pre-Render Hooks: _posts/2023-03-03-dafny-4-released.markdown Rendering Markup: _posts/2023-03-03-dafny-4-released.markdown Requiring: kramdown-parser-gfm Rendering Layout: _posts/2023-03-03-dafny-4-released.markdown Layout source: theme Rendering: _posts/2023-03-03-dafny-4-released.markdown/#excerpt Pre-Render Hooks: _posts/2023-03-03-dafny-4-released.markdown/#excerpt Rendering Markup: _posts/2023-03-03-dafny-4-released.markdown/#excerpt Rendering: _posts/2023-04-19-making-verification-compelling-visual-verification-feedback-for-dafny.markdown Pre-Render Hooks: _posts/2023-04-19-making-verification-compelling-visual-verification-feedback-for-dafny.markdown Rendering Liquid: _posts/2023-04-19-making-verification-compelling-visual-verification-feedback-for-dafny.markdown Requiring: rouge Requiring: kramdown-parser-gfm Requiring: kramdown-parser-gfm Requiring: kramdown-parser-gfm Requiring: kramdown-parser-gfm Requiring: kramdown-parser-gfm Requiring: kramdown-parser-gfm Requiring: kramdown-parser-gfm Rendering Markup: _posts/2023-04-19-making-verification-compelling-visual-verification-feedback-for-dafny.markdown Rendering Layout: _posts/2023-04-19-making-verification-compelling-visual-verification-feedback-for-dafny.markdown Layout source: theme Rendering: _posts/2023-04-19-making-verification-compelling-visual-verification-feedback-for-dafny.markdown/#excerpt Pre-Render Hooks: _posts/2023-04-19-making-verification-compelling-visual-verification-feedback-for-dafny.markdown/#excerpt Rendering Markup: _posts/2023-04-19-making-verification-compelling-visual-verification-feedback-for-dafny.markdown/#excerpt Rendering: _posts/2023-07-14-types-and-programming-languages.markdown Pre-Render Hooks: _posts/2023-07-14-types-and-programming-languages.markdown Rendering Liquid: _posts/2023-07-14-types-and-programming-