Lint

merge: Merge pull request #25 from DSD-DBS/pre-post-conditions-capabi… #123

Sign in to view logs

Triggered via push November 29, 2023 10:54

micha91

main

Status Success

Total duration 1m 13s

Artifacts –

lint.yml

on: push