David Lechner
73cc441edb
github: add release action
...
This publishes the Python package to PyPI when a release is created on
GitHub.
2021-05-17 16:42:16 -05:00
David Lechner
7770a88aa0
github: fix build action name
...
It does more than just build the Python package.
2021-05-17 16:38:58 -05:00
David Lechner
77605e8701
github: add workflow for publishing ide-docs package
2021-01-26 08:30:48 +01:00
David Lechner
06e01e5ac8
doc/ide: use sphinx.ext.imgmath
...
MathJax uses a CDN to to distribute the package. So in order to use the
docs offline, we would have to include our own copy. But it is a bit
large (50-ish MB), so it is easier to use sphinx.ext.imgmath instead
to generate svg images.
The situation might be different with MathJax v3, but that requires
Sphinx v4.
2021-01-26 08:30:48 +01:00
Laurens Valk
2a2ba8c6aa
config: build both targets on CI
2021-01-18 14:36:13 +01:00
David Lechner
032d3786bf
github: update target python versions
2020-12-28 18:47:11 -06:00
David Lechner
fd75e94824
config: drop python 3.5 in CI build
...
python 3.6 is required for certain features we are using.
2020-06-17 13:13:14 -05:00
Laurens Valk
164f353be3
config: doc8 for inc files
...
These files were not checked. Unfortunately adding it to setup.cfg does not work, so we have to add it here.
2020-05-19 11:11:47 +02:00
David Lechner
d2a480f9f9
ci: convert to github actions
2020-04-02 21:13:37 -05:00
David Lechner
Laurens Valk