Skip to content
Lint

processed review comments from Nici for modelchecker #716

Sign in to view logs

processed review comments from Nici for modelchecker

processed review comments from Nici for modelchecker #716

Triggered via pull request February 4, 2025 15:32
@jpprins1jpprins1
opened #441
checks_changes_for_upcoming_release_after_review_with_nici
Status Success
Total duration 2m 43s
Artifacts –

lint.yml

on: pull_request
lint
2m 33s
lint
Fit to window
Zoom out
Zoom in