|
1ca50f2869
|
fixed deploy-demo running on pull requests
|
2024-10-26 23:38:02 +02:00 |
|
|
f22dfa0ec4
|
always deploy the demo on push
|
2024-09-15 23:18:17 +02:00 |
|
|
88136ab9c5
|
Revert "always deploy the site on push, but only build api docs on release"
This reverts commit 82dd677987 .
|
2024-09-15 22:58:02 +02:00 |
|
|
82dd677987
|
always deploy the site on push, but only build api docs on release
|
2024-09-15 22:45:17 +02:00 |
|
|
3fc42143d5
|
Added web demo to the website (#24)
* work on publishing the web demo
* some fixes
* link to web demo
|
2024-09-14 11:37:06 +02:00 |
|