Skip to content

PPX: add attributes to all fully abstract definitions #103

PPX: add attributes to all fully abstract definitions

PPX: add attributes to all fully abstract definitions #103

Triggered via push March 19, 2025 20:15
Status Failure
Total duration 1m 29s
Artifacts

master.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 20.