Skip to content
main

ppx: allow dropping arbitrary values with [@drop_default] #405

Sign in to view logs

ppx: allow dropping arbitrary values with [@drop_default]

ppx: allow dropping arbitrary values with [@drop_default] #405

This workflow is awaiting approval from a maintainer in #77
Triggered via pull request February 6, 2026 14:41
@zazeddzazedd
synchronize #77
zazedd:main
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #77

main.yml

on: pull_request
Matrix: build
Waiting for pending jobs
Fit to window
Zoom out
Zoom in