Skip to content
PR number update

WIP: Improve deriving inline so it can be used alongside other ppx-es #818

Sign in to view logs

WIP: Improve deriving inline so it can be used alongside other ppx-es

WIP: Improve deriving inline so it can be used alongside other ppx-es #818

Triggered via pull request December 10, 2024 11:27
@NathanRebNathanReb
synchronize #541
Status Success
Total duration 17s
Artifacts –

pr-number.yml

on: pull_request_target
Update PR number
6s
Update PR number
Fit to window
Zoom out
Zoom in