提交历史

作者 SHA1 备注 提交日期
  Kilian Lieret b86689cfdf Web enh: Run button layout; logo; remove header 5 月之前
  Ofir Press 797d745b98 Update README.md 5 月之前
  Kilian Lieret c128078d8c Web enh: Add timeout to highlight/scroll 5 月之前
  Kilian Lieret b9430174f9 Web enh: Remove highlight if mouse leaves message 5 月之前
  Kilian Lieret a87a25cf71 Web fix: Highlighting in terminal (restore linebreaks) 5 月之前
  Kilian Lieret 658eb2842e Web fix: Checkbox default state not reflected 5 月之前
  Kilian Lieret b41d7f6cee Web: Various Styling improvements 5 月之前
  Kilian Lieret 53fbbff172 Web: Replace accordion with tabs 5 月之前
  Tam Nguyen 5ef6993bd6 change color for highlighted messages 5 月之前
  Tam Nguyen d83d80af45 create copy function for log panel 5 月之前
  Tam Nguyen 9f20b16f30 removed unnecessary elements 5 月之前
  Tam Nguyen 1458c437dd Rearranged input elements 5 月之前
  Tam Nguyen 48a5354f53 disabled bubbles' scrolling and text color 5 月之前
  Kilian Lieret ff35352078 Fix: Include demonstrations in dockerignore (#311) 5 月之前
  Ofir Press 45d703838e Merge pull request #310 from hashdeps/main 5 月之前
  Dei Vilkinsons 1993242166 fix:typo 5 月之前
  Kilian Lieret bd1ca51605 Web: Add flask dependencies 5 月之前
  Kilian Lieret 914a36b615 Web fix: Reset highlighted step after running 5 月之前
  Kilian Lieret ed7dfd79cd Web: Format test run checkbox as switch 5 月之前
  Kilian Lieret 0419f53798 Web: Place controls in accordion 5 月之前
  Kilian Lieret 013888f810 Web: Allow different ways to specify PS; repo path; bootstrap 5 月之前
  Kilian Lieret a36c3c7f66 Merge branch 'main' into web-ui-dev 5 月之前
  Kilian Lieret fb39892a7e Enh: Allow to directly specify problem statement (#308) 5 月之前
  Kilian Lieret 93c8028e72 Web: Factor out run control 5 月之前
  Kilian Lieret 067525a6fe Fix readme badge links (#303) 5 月之前
  Kilian Lieret 3fc73d0ea1 CI: Add GHA to test running setup.sh (#302) 5 月之前
  Kilian Lieret 7c37de2989 Web: Make sure that pm2 is found in cleanup method 5 月之前
  Kilian Lieret b7f5c512b3 Codespace: Install npm 5 月之前
  Kilian Lieret ad58268868 Setup: do not duplicate requirements (#300) 5 月之前
  Kilian Lieret 7267f38a86 docker ignore everything from gitignore 5 月之前