Deploy embed

Workflow runs for Deploy embed

• Merge pull request #61 from glpython-edu/feature/embed-visible-height

  completed successfully:
  Deploy embed#62:Commit6a1fbb0pushedbycedricvogel-leo
  main

  Nov 13, 202640s
  More actions for workflow run 62

• Merge pull request #60 from glpython-edu/feature/globals-footer

  completed successfully:
  Deploy embed#61:Commit3bdf4c3pushedbycedricvogel-leo
  main

  Nov 13, 202638s
  More actions for workflow run 61

• Merge pull request #59 from glpython-edu/feature/none-of-own-calls

  completed successfully:
  Deploy embed#60:Commitd2d7132pushedbycedricvogel-leo
  main

  Nov 8, 202638s
  More actions for workflow run 60

• Merge pull request #58 from glpython-edu/fix/baum-no-box-hint

  completed successfully:
  Deploy embed#59:Commit2b08e55pushedbycedricvogel-leo
  main

  Nov 8, 202631s
  More actions for workflow run 59

• Merge pull request #57 from glpython-edu/feature/tree-calls

  completed successfully:
  Deploy embed#58:Commit542adf8pushedbycedricvogel-leo
  main

  Nov 6, 202640s
  More actions for workflow run 58

• Merge pull request #56 from glpython-edu/feature/run-switch

  completed successfully:
  Deploy embed#57:Commitd8c3c95pushedbycedricvogel-leo
  main

  Nov 6, 20264m 46s
  More actions for workflow run 57

• Merge pull request #55 from glpython-edu/feature/markdown-view

  completed successfully:
  Deploy embed#56:Commit97ad352pushedbycedricvogel-leo
  main

  Nov 6, 20261m 19s
  More actions for workflow run 56

• Merge pull request #54 from glpython-edu/feature/tree-svg

  completed successfully:
  Deploy embed#55:Commit1e21b7cpushedbycedricvogel-leo
  main

  Nov 6, 20263m 32s
  More actions for workflow run 55

• Merge pull request #53 from glpython-edu/feature/tree-mode

  completed successfully:
  Deploy embed#54:Commit104e6c1pushedbycedricvogel-leo
  main

  Nov 6, 20263m 43s
  More actions for workflow run 54

• Merge pull request #52 from glpython-edu/feature/steady-height

  completed successfully:
  Deploy embed#53:Commit23ab3e6pushedbycedricvogel-leo
  main

  Nov 5, 202644s
  More actions for workflow run 53

• Merge pull request #51 from glpython-edu/feature/list-trees

  completed successfully:
  Deploy embed#52:Commitd9fedaapushedbycedricvogel-leo
  main

  Nov 5, 20261m 13s
  More actions for workflow run 52

• Merge pull request #50 from glpython-edu/feature/unary-minus-name

  completed successfully:
  Deploy embed#51:Commita8cabe2pushedbycedricvogel-leo
  main

  Nov 4, 202636s
  More actions for workflow run 51

• Merge pull request #48 from glpython-edu/feature/literal-displays

  completed successfully:
  Deploy embed#50:Commitd78944apushedbycedricvogel-leo
  main

  Nov 4, 202653s
  More actions for workflow run 50

• Merge pull request #49 from glpython-edu/feature/main-module

  completed successfully:
  Deploy embed#49:Commit118cf5cpushedbycedricvogel-leo
  main

  Nov 4, 202646s
  More actions for workflow run 49

• Merge pull request #47 from glpython-edu/feature/visualizer-lists

  completed successfully:
  Deploy embed#48:Commitc5f73b7pushedbycedricvogel-leo
  main

  Nov 4, 20261m 34s
  More actions for workflow run 48

• Merge pull request #46 from glpython-edu/feature/console-input

  completed successfully:
  Deploy embed#47:Commit9b734fepushedbycedricvogel-leo
  main

  Nov 2, 202641s
  More actions for workflow run 47

• Merge pull request #45 from glpython-edu/feature/doctest-values

  completed successfully:
  Deploy embed#46:Commit95eb1c6pushedbycedricvogel-leo
  main

  Nov 1, 202637s
  More actions for workflow run 46

• Merge pull request #44 from glpython-edu/chore/remove-storage-check

  completed successfully:
  Deploy embed#45:Commit475b5c9pushedbycedricvogel-leo
  main

  Nov 1, 202630s
  More actions for workflow run 45

• Merge pull request #42 from glpython-edu/fix/unicode-highlight

  completed successfully:
  Deploy embed#44:Commit925a8capushedbycedricvogel-leo
  main

  Oct 30, 202635s
  More actions for workflow run 44

• Merge pull request #43 from glpython-edu/chore/storage-check

  completed successfully:
  Deploy embed#43:Commit7f3ecdcpushedbycedricvogel-leo
  main

  Oct 29, 202630s
  More actions for workflow run 43

• Merge pull request #41 from glpython-edu/feature/read-only-files

  completed successfully:
  Deploy embed#42:Commit5bd8a4fpushedbycedricvogel-leo
  main

  Oct 29, 202637s
  More actions for workflow run 42

• Merge pull request #40 from glpython-edu/fix/coverage-colours

  completed successfully:
  Deploy embed#41:Commit07f11depushedbycedricvogel-leo
  main

  Oct 29, 20261m 15s
  More actions for workflow run 41

• Merge pull request #39 from glpython-edu/feature/coverage

  completed successfully:
  Deploy embed#40:Commit654a953pushedbycedricvogel-leo
  main

  Oct 29, 202642s
  More actions for workflow run 40

• Merge pull request #38 from glpython-edu/chore/mit-license

  completed successfully:
  Deploy embed#39:Commit1bce90epushedbycedricvogel-leo
  main

  Oct 26, 202637s
  More actions for workflow run 39

• Merge pull request #37 from glpython-edu/fix/repl-no-none-echo

  completed successfully:
  Deploy embed#38:Commitc352b1apushedbycedricvogel-leo
  main

  Oct 26, 202645s
  More actions for workflow run 38