Skip to content

Merge pull request #1013 from daniel-larraz/const-expr-checks #351

Merge pull request #1013 from daniel-larraz/const-expr-checks

Merge pull request #1013 from daniel-larraz/const-expr-checks #351

Triggered via push September 26, 2023 21:57
Status Success
Total duration 4m 42s
Artifacts

kind2-docker.yml

on: push
build-and-publish
4m 33s
build-and-publish
Fit to window
Zoom out
Zoom in