Skip to content
Snippets Groups Projects
Commit 551ef83d authored by Ansgar Burchardt's avatar Ansgar Burchardt
Browse files

Merge branch 'ci' into 'master'

work around ADOL-C's comparison operators returning an `int`

See merge request !8
parents fea1aef1 b6a989ff
No related branches found
No related tags found
1 merge request!8work around ADOL-C's comparison operators returning an `int`
Pipeline #17805 failed