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
a51192948a
fixed incorrect run argument in workflow
2024-04-05 10:58:50 +02:00
8e28ff6eb0
build ci on tag creation
2024-04-05 10:51:12 +02:00
fd438f6b1d
fixed pre-push hook
2024-02-04 14:55:00 +01:00
326462fb58
added changelog enforcer action
2024-02-04 14:05:59 +01:00
cd8b10bd4d
actions: fixed env variable names
2024-01-14 22:29:53 +01:00
6487ad3644
actions: potentially fixed passing ref name xvfb
2024-01-14 22:21:43 +01:00
dfc56611f2
Switch to GitHub Actions ( #15 )
...
* switch to github actions for workflows
* fixed action names
* setup java in build and restore in docs
* use java 17 for android sdk
* clean up restore step
2024-01-14 22:12:07 +01:00
