Skip to content
Nix

Move Typed_holes to Merlin #3212

Sign in to view logs

Move Typed_holes to Merlin

Move Typed_holes to Merlin #3212

This workflow is awaiting approval from a maintainer in #1451
Triggered via pull request January 17, 2025 16:53
@liam923liam923
opened #1451
liam923:rename-holes
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #1451

nix.yml

on: pull_request
fmt
fmt
Fit to window
Zoom out
Zoom in