deploy

Workflow runs for deploy

• deploy

  completed successfully:
  deploy#18:Scheduled
  main

  Aug 12, 202643s
  More actions for workflow run 18

• deploy

  completed successfully:
  deploy#17:Scheduled
  main

  Aug 12, 202636s
  More actions for workflow run 17

• deploy

  completed successfully:
  deploy#16:Scheduled
  main

  Aug 11, 202642s
  More actions for workflow run 16

• fix: disable font ligatures in code (#155)

  completed successfully:
  deploy#15:Commit658a739pushedbyHofer-Julian
  main

  Aug 11, 202641s
  More actions for workflow run 15

• deploy

  completed successfully:
  deploy#14:Scheduled
  main

  Aug 11, 202635s
  More actions for workflow run 14

• deploy

  completed successfully:
  deploy#13:Scheduled
  main

  Aug 11, 202645s
  More actions for workflow run 13

• deploy

  completed successfully:
  deploy#12:Scheduled
  main

  Aug 11, 202642s
  More actions for workflow run 12

• ci: stop storing the package tables in git (#154)

  completed successfully:
  deploy#11:Commita1b9c56pushedbyruben-arts
  main

  Aug 10, 202644s
  More actions for workflow run 11

• deploy

  skipped:
  deploy#10:completedbyTobias-Fischer
  Aug 10, 20261s
  More actions for workflow run 10

• deploy

  skipped:
  deploy#9:completedbyHofer-Julian
  Aug 10, 20269s
  More actions for workflow run 9

• fix: harden the package table pipeline and polish the site (#153)

  completed successfully:
  deploy#8:Commit9dfc3f9pushedbyruben-arts
  main

  Aug 10, 202624s
  More actions for workflow run 8

• Bump peter-evans/create-pull-request from 7.0.11 to 8.1.1 (#148)

  completed successfully:
  deploy#7:Commitb07acbcpushedbyHofer-Julian
  main

  Aug 10, 202632s
  More actions for workflow run 7

• fix: website bugs (#152)

  completed successfully:
  deploy#6:Commit8388192pushedbyHofer-Julian
  main

  Aug 10, 202629s
  More actions for workflow run 6

• deploy

  completed successfully:
  deploy#5:completedbyTobias-Fischer
  Aug 10, 202626s
  More actions for workflow run 5

• Merge pull request #151 from RoboStack/dependabot/github_actions/acti…

  completed successfully:
  deploy#4:Commit11432e0pushedbyTobias-Fischer
  main

  Aug 10, 202629s
  More actions for workflow run 4

• Merge pull request #149 from RoboStack/dependabot/github_actions/depe…

  completed successfully:
  deploy#3:Commit4876f7cpushedbyTobias-Fischer
  main

  Aug 10, 202622s
  More actions for workflow run 3

• Merge pull request #150 from RoboStack/dependabot/github_actions/pref…

  completed successfully:
  deploy#2:Commitcde785dpushedbyTobias-Fischer
  main

  Aug 10, 202628s
  More actions for workflow run 2

• Merge pull request #147 from Hofer-Julian/modernize-tooling

  completed successfully:
  deploy#1:Commit6869162pushedbyruben-arts
  main

  Aug 10, 202628s
  More actions for workflow run 1