Skip to content

Releases: KWARC/FLAMS

main

19 Feb 03:00
062d5ec
Compare
Choose a tag to compare
main Pre-release
Pre-release

Commits

  • 2cef52d: update (Jazzpirate)
  • 611efba: update (Jazzpirate)
  • 516c49c: that wasn't it (Jazzpirate)
  • 9b12451: more experiments (Jazzpirate)
  • a1d984b: temp (Jazzpirate)
  • 3138f4e: next attempt (Jazzpirate)
  • d5ebb57: next attempt (Jazzpirate)
  • c5a4b69: next try (Jazzpirate)
  • aad2fa1: some optimization (Jazzpirate)
  • 48fe2cc: maybe gitlab speedup (Jazzpirate)
  • b1454be: update (Jazzpirate)
  • 5666da2: better CSS (more to come) (Jazzpirate)
  • dc671ec: minor (Jazzpirate)
  • 5892885: better logging (Jazzpirate)
  • 4c5fc22: gitlab interaction (Jazzpirate)
  • 490e825: gitlab pagination (Jazzpirate)
  • 4446dbd: gitlab logging (Jazzpirate)
  • 159401f: migration maybe speedup? (Jazzpirate)
  • 786dec4: git bug fix + improvements (Jazzpirate)
  • e53fe5d: git improvement + error handling in router (Jazzpirate)
  • a005d48: crash fix (Jazzpirate)
  • fded749: stack size (Jazzpirate)
  • 4977bbb: nightly => stable (Jazzpirate)
  • 3e5717a: ts fix (Jazzpirate)
  • 062d5ec: Update build.yaml (Dennis Müller)