Skip to content
Build master

[ppx] Fix refier construction: better location error #100

Sign in to view logs

[ppx] Fix refier construction: better location error

[ppx] Fix refier construction: better location error #100

Triggered via push December 24, 2024 16:01
@KakaduKakadu
pushed 684ae81
master
Status Success
Total duration 9m 34s
Artifacts –

master.yml

on: push
build
9m 23s
build
Fit to window
Zoom out
Zoom in