Skip to content

Remove use of pp in DifferDispatcher (#242) #418

Remove use of pp in DifferDispatcher (#242)

Remove use of pp in DifferDispatcher (#242) #418

Triggered via push April 25, 2024 18:02
Status Success
Total duration 5m 10s
Artifacts

super_diff.yml

on: push
collect-release-info
12s
collect-release-info
collect-docsite-release-info
3s
collect-docsite-release-info
Matrix: test
build-docsite
0s
build-docsite
unpublish_docsite
0s
unpublish_docsite
ready-to-merge
2s
ready-to-merge
publish-docsite
0s
publish-docsite
Fit to window
Zoom out
Zoom in