Skip to content
Publish Docs

Merge pull request #1353 from hermit-os/hermit-c #828

Sign in to view logs

Merge pull request #1353 from hermit-os/hermit-c

Merge pull request #1353 from hermit-os/hermit-c #828

Triggered via push August 13, 2024 08:51
@github-merge-queuegithub-merge-queue[bot]
pushed 64b9008
main
Status Success
Total duration 1m 4s
Artifacts –

publish_docs.yml

on: push
publish_docs
55s
publish_docs
Fit to window
Zoom out
Zoom in