Build and deploy Jekyll site to Github Pages

Workflow runs for Build and deploy Jekyll site to Github Pages

• Merge pull request #45 from cryptimeleon/copilot/revert-version-bump-…

  completed successfully:
  Build and deploy Jekyll site to Github Pages#47:Commit434d039pushedbyJanBobolz
  main

  Feb 10, 20265m 50s
  More actions for workflow run 47

• Merge pull request #44 from cryptimeleon/dependabot/bundler/faraday-2…

  failed:
  Build and deploy Jekyll site to Github Pages#46:Commit8fd52c5pushedbyJanBobolz
  main

  Feb 10, 20262m 11s
  More actions for workflow run 46

• Merge pull request #43 from cryptimeleon/dependabot/bundler/rexml-3.4.2

  completed successfully:
  Build and deploy Jekyll site to Github Pages#45:Commitca88cc6pushedbyJanBobolz
  main

  Sep 18, 20255m 55s
  More actions for workflow run 45