Skip to content
Build and Deploy to Github Pages

Merge pull request #2071 from didier-wenzek/specs/operation-workflow #991

Sign in to view logs

Merge pull request #2071 from didier-wenzek/specs/operation-workflow

Merge pull request #2071 from didier-wenzek/specs/operation-workflow #991

Triggered via push November 22, 2023 14:33
@didier-wenzekdidier-wenzek
pushed 5259a45
main
Status Success
Total duration 2m 45s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

gh-pages.yml

on: push
deploy
2m 31s
deploy
Fit to window
Zoom out
Zoom in