Skip to content
PR number update

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

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 #811

Triggered via pull request December 9, 2024 09:50
@NathanRebNathanReb
synchronize #541
Status Success
Total duration 11s
Artifacts –

pr-number.yml

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