Skip to content

Remove use of pp in DifferDispatcher #417

Remove use of pp in DifferDispatcher

Remove use of pp in DifferDispatcher #417

Triggered via pull request April 25, 2024 18:02
Status Success
Total duration 44s
Artifacts

super_diff.yml

on: pull_request
collect-release-info
7s
collect-release-info
analyze
0s
analyze
collect-docsite-release-info
6s
collect-docsite-release-info
Matrix: test
build-docsite
0s
build-docsite
unpublish_docsite
6s
unpublish_docsite
ready-to-merge
0s
ready-to-merge
publish-docsite
0s
publish-docsite
Fit to window
Zoom out
Zoom in