Skip to content
.github/workflows/main.yml

Fix to make type Set in type parameters explicit in term abbreviations #1233

Sign in to view logs

Fix to make type Set in type parameters explicit in term abbreviations

Fix to make type Set in type parameters explicit in term abbreviations #1233

Triggered via pull request June 29, 2026 15:48
@navimathnavimath
synchronize #204
navimath:myfix
Status Success
Total duration 29m 0s
Artifacts –

main.yml

on: pull_request
Matrix: ci
Fit to window
Zoom out
Zoom in