site build is broken

[Gerwin Klein]

Potentially an unexpectedly recent jekyll version or similar.

See: https://github.com/seL4/docs/actions/runs/3520086041/jobs/5900677174

Liquid Exception: no implicit conversion of Hash into Integer in /home/runner/work/docs/docs/content_collections/_dependencies/l4v.md
                    ------------------------------------------------
      Jekyll 4.0.1   Please append `--trace` to the `build` command 
                     for any additional information or backtrace. 
                    ------------------------------------------------

[Kent McLeod]

Back further in the log there's a message about the SPDX-License-Identifier which wasn't in the previous log:

JEKYLL_ENV=production bundle exec jekyll build
Your /home/runner/work/docs/docs/.bundle/config config includes `# SPDX-License-Identifier`, which contains the dash character (`-`).
This is deprecated, because configuration through `ENV` should be possible, but `ENV` keys cannot include dashes.
Please edit /home/runner/work/docs/docs/.bundle/config and replace any dashes in configuration keys with a triple underscore (`___`).
Configuration file: /home/runner/work/docs/docs/_config.yml
      Remote Theme: Using theme matrixfox/jekyll-theme-bootstrap
            Source: /home/runner/work/docs/docs
       Destination: /home/runner/work/docs/docs/_site
 Incremental build: disabled. Enable with --incremental
      Generating... 
      Remote Theme: Using theme matrixfox/jekyll-theme-bootstrap
  Liquid Exception: no implicit conversion of Hash into Integer in /home/runner/work/docs/docs/content_collections/_dependencies/l4v.md
                    ------------------------------------------------
      Jekyll 4.0.1   Please append `--trace` to the `build` command 
                     for any additional information or backtrace. 
                    ------------------------------------------------

[Kent McLeod]

This likely changed because the version of bundler changed:
Successfully installed bundler-2.3.26
Successfully installed bundler-2.3.25

[Kent McLeod]

Oh, the runner image also changed from Image: ubuntu-20.04 to Image: ubuntu-22.04

[Kent McLeod]

So we should probably pin the image to 20.04 until the site is updated to use the newer versions of Ruby.

[Gerwin Klein]

Oh, the runner image also changed from Image: ubuntu-20.04 to Image: ubuntu-22.04

Right, that explains a lot. Thanks for catching that. I'll pin the runner.