Tobias Reiher e19fb317b9 Use SPARK Pro 23.0 ...

Ref. #1256

2022-11-30 10:42:37 +01:00

..

changelog.yml

Add changelog

2022-06-14 12:00:53 +02:00

codeql-analysis.yml

Cancel running workflows when PR is updated

2022-03-02 08:51:01 +01:00

edge_tests.yml

Use SPARK Pro 23.0

2022-11-30 10:42:37 +01:00

fixup.yml

Check for F*XUP commits

2022-09-01 21:47:22 +02:00

pages.yml

Add initialization of development configuration

2022-10-10 11:32:06 +02:00

tests.yml

Use SPARK Pro 23.0

2022-11-30 10:42:37 +01:00