Matthias 1d92db7805 Change CI to actually run one 2 randomized point.

2022-12-13 19:23:40 +01:00

..

ci.yml

Change CI to actually run one 2 randomized point.

2022-12-13 19:23:40 +01:00

docker_update_readme.yml

Fix pre-commit indentation

2022-04-23 11:22:00 +02:00