7 Commits

Author	SHA1	Message	Date
Matthias	0e55a07def	merge in html	2021-12-02 12:49:37 +01:00
Matthias	90f4e788ea	merge in javascript	2021-12-02 12:47:04 +01:00
Matthias	3c460dfc32	change names	2021-12-02 12:46:31 +01:00
Matthias	996554541c	use env for python version	2021-12-02 12:35:08 +01:00
Matthias	dd91329ed7	fix python version	2021-12-02 12:32:20 +01:00
Matthias	62694b8dae	add style checks	2021-12-02 12:30:44 +01:00
Matthias	2c2825abf7	one workflow for PR checks	2021-12-02 12:28:10 +01:00