Skip to content

Add language support for Quint #20654

Add language support for Quint

Add language support for Quint #20654

Triggered via pull request October 17, 2024 08:43
Status Success
Total duration 13m 2s
Artifacts

build.yml

on: pull_request
Matrix: Test Suite
Fit to window
Zoom out
Zoom in