Skip to content

Merge pull request #1010 from daniel-larraz/fix-list-flattening #348

Merge pull request #1010 from daniel-larraz/fix-list-flattening

Merge pull request #1010 from daniel-larraz/fix-list-flattening #348

Triggered via push September 20, 2023 19:14
Status Success
Total duration 4m 32s
Artifacts

kind2-docker.yml

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