main

Commits

• 529eca7: increase ubuntu version for github ci (Jazzpirate) #81
• 8634902: update (Jazzpirate) #78
• 78742ba: back to git deps (Jazzpirate) #78
• df01a5d: load tokio in flams build (Jazzpirate) #78
• 77e4657: queries in morphisms (Jazzpirate) #78
• 40dbc37: build queue fix (Jazzpirate) #78
• cd2ae8d: records (Jazzpirate) #78
• c35ddb8: missing file (Jazzpirate) #78
• 1d75e24: caching, more on records, some fixes (Jazzpirate) #78
• 228c901: less simplification (mostly) (Jazzpirate) #78
• 8e0b7ef: maybe fix (Jazzpirate) #78
• 9a64439: dynamic logo/start page (Jazzpirate) #78
• 0151c2e: update ftml viewer (Jazzpirate) #78
• 9d2b8b8: Merge branch 'release' into main (Dennis Müller) #78
• 5ea56bc: Update build.yaml (Dennis Müller) #79
• 0a8034d: Update test.yaml (Dennis Müller) #81
• 05d8da5: Merge branch 'release' into citest (Dennis Müller) #81
• 8399518: force CI to rerun (Jazzpirate) #82
• c0bbdda: ci fix maybe (Jazzpirate) #83
• 85bc06f: next CI fix attempt (Jazzpirate) #84