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 月之前 |