Skip to content

Allow second argument of shift operators to be non-constant #1195

Allow second argument of shift operators to be non-constant

Allow second argument of shift operators to be non-constant #1195

Triggered via pull request September 19, 2023 21:16
Status Success
Total duration 15m 49s
Artifacts

kind2-ci.yml

on: pull_request
Matrix: kind2-build
Fit to window
Zoom out
Zoom in