Skip to content
Post integration

Merge pull request #17 from input-output-hk/dependency-optimisation #26

Sign in to view logs

Merge pull request #17 from input-output-hk/dependency-optimisation

Merge pull request #17 from input-output-hk/dependency-optimisation #26

Triggered via push August 16, 2023 11:28
@nheninnhenin
pushed 535335d
main
Status Success
Total duration 3m 42s
Artifacts –

post-integration.yaml

on: push
deploy-docs
3m 30s
deploy-docs
Fit to window
Zoom out
Zoom in