Skip to content
Changelog

Remove the unused restoring of the PPX context #152

Sign in to view logs

Remove the unused restoring of the PPX context

Remove the unused restoring of the PPX context #152

Triggered via pull request October 14, 2026 08:44
@cknittcknitt
synchronize #8859
remove-ppx-context-restore
Status Success
Total duration 3m 2s
Artifacts –

changelog.yml

on: pull_request
changelog
2m 58s
changelog
Fit to window
Zoom out
Zoom in