Revision 4c388e85df6bdb6485d58ef1db1a80fe413fc7b3

Committed on 01/10/2024 12:49 am by mikolaj <mikolaj.adamczyk@ez.no> [GitHub Diff]

Adjusted CI