Skip to content

Merge pull request #1052 from daniel-larraz/forall-history #353

Merge pull request #1052 from daniel-larraz/forall-history

Merge pull request #1052 from daniel-larraz/forall-history #353

Triggered via push February 16, 2024 14:20
Status Skipped
Total duration 2s
Artifacts

kind2-docker.yml

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