Skip to content

checker: add error for field [$d('x', 2)]int = [1, 2]! #816

checker: add error for field [$d('x', 2)]int = [1, 2]!

checker: add error for field [$d('x', 2)]int = [1, 2]! #816

Triggered via pull request June 26, 2024 15:19
Status Success
Total duration 20m 7s
Artifacts

tools_ci.yml

on: pull_request
ubuntu-docker-musl
2m 33s
ubuntu-docker-musl
Matrix: linux
Matrix: macos
Matrix: windows
Fit to window
Zoom out
Zoom in