Skip to content

Add language support for Quint #20680

Add language support for Quint

Add language support for Quint #20680

Triggered via pull request October 20, 2024 12:10
Status Success
Total duration 13m 29s
Artifacts

build.yml

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