Skip to content

Update dependency: deps/pyk_release (#1919) #359

Update dependency: deps/pyk_release (#1919)

Update dependency: deps/pyk_release (#1919) #359

Triggered via push July 4, 2023 06:27
Status Success
Total duration 33m 48s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

master-push.yml

on: push
Matrix: Populate Nix Cache
Build Ubuntu Jammy DockerHub Image
30m 55s
Build Ubuntu Jammy DockerHub Image
Cut Release
5s
Cut Release
Publish GH Pages
2m 14s
Publish GH Pages
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Publish GH Pages
The process '/usr/bin/git' failed with exit code 128