This repository has been archived by the owner on Jul 5, 2024. It is now read-only.

Naming and describing MPT constraints #6822

Sign in to view logs

Triggered via pull request February 7, 2024 10:16

miha-stopar

opened #1759

mpt-constraints-names

Status Success

Total duration 13s

Artifacts –

lints.yml

on: pull_request