Skip to content

Fixed incorrect variable renaming in bcccc88 #1571

Fixed incorrect variable renaming in bcccc88

Fixed incorrect variable renaming in bcccc88 #1571

Triggered via pull request October 3, 2024 23:56
Status Success
Total duration 11m 34s
Artifacts

kind2-ci.yml

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