Web build

Workflow runs for Web build

• Add play link

  completed successfully:
  Web build#7:Commit35c94d7pushedbymsx80
  main

  Aug 31, 20261m 36s
  More actions for workflow run 7

• Add write permissions for contents in workflow

  completed successfully:
  Web build#6:Commitd5293f2pushedbymsx80
  main

  Aug 31, 20261m 34s
  More actions for workflow run 6

• Add deployment step to GitHub Pages

  failed:
  Web build#5:Commit8bebd4cpushedbymsx80
  main

  Aug 31, 20261m 59s
  More actions for workflow run 5

• quit with plugin instead of system.exit (breaks teavm)

  completed successfully:
  Web build#4:Commit47e5d51pushedbymsx80
  main

  Aug 31, 20261m 45s
  More actions for workflow run 4

• web build

  failed:
  Web build#3:Commit3186830pushedbymsx80
  main

  Aug 31, 20261m 35s
  More actions for workflow run 3

• Update GitHub Actions workflow for Omicron build

  completed successfully:
  Web build#2:Commit97b1d27pushedbymsx80
  main

  Aug 31, 20261m 4s
  More actions for workflow run 2

• Add GitHub Actions workflow for web build

  failed:
  Web build#1:Commit710ea75pushedbymsx80
  main

  Aug 31, 20261m 26s
  More actions for workflow run 1