28 commits

Author	SHA1	Message	Date
Tom M	ff6b4db503	Update Linux CI (#953)	2021-07-31 21:32:36 +02:00
luz paz	e4c8ef080c	Fix source comment typos ... Found via `codespell -q 3 -S ChangeLog -L bloc,blocs,capela,parms,readd,seh`	2021-07-10 08:44:35 -04:00
Tom M	bf574c6f03	Create codeql-analysis.yml (#910)	2021-06-11 22:27:14 +02:00
Tom M	e8963251be	Avoid unnecessary pipeline runs (#885) ... Pipelines should not be triggered when other pipelines are modified. This saves many resources when messing around with a single pipeline, because other pipelines won't run.	2021-05-10 23:19:24 +02:00
Marcus Weseloh	7e4c843d7b	Update feature request issue template (#837) ... Many discussions happen on GitHub now, so update the issue template to point people there as well.	2021-04-10 16:34:12 +02:00
Tom M	8a39c5aea4	Zone Validation Test (#826) ... This is my implementation of a unit test to verify the preset and instrument zone validation behaviour.	2021-04-10 15:33:12 +02:00
Tom M	2173fdcab3	Run GitHub Actions on forked pull requests	2021-04-07 21:30:43 +02:00
Tom M	ddb13e36c5	Collect coverage during test execution (#825)	2021-04-03 17:34:48 +02:00
Marcus Weseloh	d13c4965e1	Update api_doc_build.yml ... Fix ubuntu version to 18.04 to keep doxygen version stable. Latest ubuntu has a new version which breaks the current API docs layout	2021-03-19 19:50:40 +01:00
TotalCaesar659	a27457c32f	Update URLs to HTTPS (#796)	2021-03-08 16:46:36 +01:00
Tom M	dfc7378754	Good Bye TravisCI! (#772)	2021-02-07 13:46:02 +01:00
derselbst	468f6ff082	Update Issue templates to point to GitHub discussion	2020-12-20 12:30:42 +01:00
Marcus Weseloh	b7f7d818a7	Also set commit name and email for api doc build commits	2020-12-13 16:26:55 +01:00
Marcus Weseloh	01ecf9e3b9	Fix commit message for deploying API doc	2020-12-13 14:56:16 +01:00
Marcus Weseloh	5ff3b73a4d	Clean existing files in API doc on GH pages	2020-12-13 14:53:32 +01:00
Marcus Weseloh	fcad97bacd	Fix build path in API doc publish step	2020-12-13 14:50:32 +01:00
Marcus Weseloh	9f853e7d53	Update API doc build to upload to GH pages	2020-12-13 14:48:51 +01:00
Marcus Weseloh	c7f9d05190	GitHub Action to build the API docs from master branch (#704) ... Uploads the complete HTML API docs as an artifact called api_docs.zip	2020-11-16 15:27:56 +01:00
luz.paz	45f8e0a868	Fix various typos ... Found via `codespell -q 3 -L uint -S ./ChangeLog -L dur`	2019-12-17 20:11:49 +01:00
derselbst	c4ebd264ca	Update default issue template	2019-08-15 14:31:21 +02:00
Tom M	690f84aeeb	Update issue templates	2019-08-15 14:27:48 +02:00
Tom M	09076e231d	Update issue_template.md	2019-01-17 19:52:27 +01:00
derselbst	64687c3a05	update issue_template.md	2018-09-03 21:08:34 +02:00
Tom M	e4140e8a77	Update issue_template.md ... put emphasis on using this template	2018-02-22 20:21:24 +01:00
Tom M	bb6b977e79	Update issue_template.md	2018-02-22 20:17:50 +01:00
Tom M	227814e701	Update issue_template.md ... -friendliness	2017-11-11 16:55:36 +01:00
Tom M	b908c04317	Update issue_template.md	2017-10-18 09:46:18 +02:00
derselbst	5dd776b705	mv ISSUE_TEMPLATE.md to .github subfolder	2017-10-14 20:07:26 +02:00