Skip to content

Merge pull request #543 from mkroening/hermit-0.8.2 #505

Merge pull request #543 from mkroening/hermit-0.8.2

Merge pull request #543 from mkroening/hermit-0.8.2 #505

Triggered via push February 29, 2024 08:53
Status Success
Total duration 3m 35s
Artifacts

publish.yml

on: push
Publish container image
3m 26s
Publish container image
Fit to window
Zoom out
Zoom in