Skip to content
📊 Code Coverage Report

Enable the Agda conformance tests for the array builtins. (#7375) #177

Sign in to view logs

Enable the Agda conformance tests for the array builtins. (#7375)

Enable the Agda conformance tests for the array builtins. (#7375) #177

Triggered via push October 1, 2025 10:56
@ana-pantilieana-pantilie
pushed accb457
master
Status Success
Total duration 2h 27m 21s
Artifacts –

code-coverage-report.yml

on: push
Deploy
2h 27m
Deploy
Fit to window
Zoom out
Zoom in