Release develop branch

Workflow runs for Release develop branch

• users guide: document live code and result placement

  completed successfully:
  Release develop branch#516:Commite0a635apushedbymonofon
  develop

  Oct 18, 202626m 38s
  More actions for workflow run 516

• live-code: place results without changing the slide layout

  completed successfully:
  Release develop branch#515:Commit0e53d34pushedbymonofon
  develop

  Oct 18, 202633m 4s
  More actions for workflow run 515

• ci: select Command Line Tools on macOS, pin GHC 9.8.4

  completed successfully:
  Release develop branch#514:Commit228ad00pushedbymonofon
  develop

  Oct 16, 202654m 40s
  More actions for workflow run 514

• add --resource-base option to replace the base resource pack

  failed:
  Release develop branch#513:Commit6136055pushedbymonofon
  develop

  Oct 16, 20266m 40s
  More actions for workflow run 513

• css: rename header-color to heading-color

  completed successfully:
  Release develop branch#512:Commit09c0d86pushedbymonofon
  develop

  Oct 3, 202635m 13s
  More actions for workflow run 512

• pass classes straight onto the <a> element

  completed successfully:
  Release develop branch#511:Commitc94a798pushedbymonofon
  develop

  Oct 1, 202642m 36s
  More actions for workflow run 511

• backport CSS from the front to mono.css

  completed successfully:
  Release develop branch#510:Commit341b67bpushedbymonofon
  develop

  Sep 30, 202634m 27s
  More actions for workflow run 510

• mono: link colors, pale accent badges and blocks, inline code chips

  completed successfully:
  Release develop branch#509:Commit421dbecpushedbymonofon
  develop

  Sep 30, 202634m 3s
  More actions for workflow run 509

• index: stop rebuilding the index on every source change

  completed successfully:
  Release develop branch#508:Commit77187c8pushedbymonofon
  develop

  Sep 27, 202652m 42s
  More actions for workflow run 508

• Merge branch 'develop' of github.com:decker-edu/decker into develop

  completed successfully:
  Release develop branch#507:Commitd8a952apushedbymonofon
  develop

  Sep 17, 202635m 23s
  More actions for workflow run 507

• fix old mario template for new quizzes

  completed successfully:
  Release develop branch#506:Commitdba1396pushedbymbotsch
  develop

  Sep 13, 202638m 36s
  More actions for workflow run 506

• Fix quiz answer state after Firefox reloads

  completed successfully:
  Release develop branch#505:Commit879ac9dpushedbymarcerich
  develop

  Jul 31, 202633m 20s
  More actions for workflow run 505

• Fix index rebuild dependencies

  completed successfully:
  Release develop branch#504:Commit3830260pushedbymarcerich
  develop

  Jul 30, 202634m 20s
  More actions for workflow run 504

• Consolidate Chatty setup and add configurable identity

  completed successfully:
  Release develop branch#503:Commit3c55dc1pushedbymarcerich
  develop

  Jul 26, 202634m 51s
  More actions for workflow run 503

• Merge branch 'develop' of github.com:decker-edu/decker into develop

  completed successfully:
  Release develop branch#502:Commita1c1233pushedbymonofon
  develop

  Jul 25, 202644m 33s
  More actions for workflow run 502

• Issue 188: repaired .math-incremental to also include equation number…

  completed successfully:
  Release develop branch#501:Commitcf08f4dpushedbymarcerich
  develop

  Jul 15, 202634m 46s
  More actions for workflow run 501

• teach the LLMs some Decker

  completed successfully:
  Release develop branch#500:Commita6ef885pushedbymonofon
  develop

  Jul 12, 202636m 42s
  More actions for workflow run 500

• bump decker version to 0.15.0

  completed successfully:
  Release develop branch#499:Commit9121a93pushedbymonofon
  develop

  Jul 11, 202647m 16s
  More actions for workflow run 499

• three homebrew tiers: decker-naked, decker, decker-full

  completed successfully:
  Release develop branch#498:Commit71853dbpushedbymonofon
  develop

  Jul 11, 202635m 18s
  More actions for workflow run 498

• add docs for homebrew installation

  completed successfully:
  Release develop branch#497:Commitc24c8c3pushedbymonofon
  develop

  Jul 10, 202633m 58s
  More actions for workflow run 497

• hopefully fix homebrew tap-building

  completed successfully:
  Release develop branch#496:Commita52b63dpushedbymonofon
  develop

  Jul 10, 202635m 33s
  More actions for workflow run 496

• add missing build dependencies

  completed successfully:
  Release develop branch#495:Commite7148aepushedbymonofon
  develop

  Jul 10, 202628m 53s
  More actions for workflow run 495

• try to speed up CI build times

  completed successfully:
  Release develop branch#494:Commitf460672pushedbymonofon
  develop

  Jul 10, 202641m 58s
  More actions for workflow run 494

• no linux-arm either

  completed successfully:
  Release develop branch#493:Commit90023e6pushedbymonofon
  develop

  Jul 10, 202637m 36s
  More actions for workflow run 493

• fuck intel

  completed successfully:
  Release develop branch#492:Commit30d8b62pushedbymonofon
  develop

  Jul 10, 202635m 57s
  More actions for workflow run 492