Skip to content

Add language support for Quint #20772

Add language support for Quint

Add language support for Quint #20772

Triggered via pull request November 6, 2024 23:50
Status Success
Total duration 13m 14s
Artifacts

build.yml

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