Skip to content

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

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

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

Triggered via push September 26, 2023 21:57
Status Skipped
Total duration 3s
Artifacts

kind2-docker.yml

on: push
build-and-publish
0s
build-and-publish
Fit to window
Zoom out
Zoom in