Skip to content
Continuous integration

Implement the W-encoded natural number type with a dependent eliminator #4691

Sign in to view logs

Implement the W-encoded natural number type with a dependent eliminator

Implement the W-encoded natural number type with a dependent eliminator #4691

Triggered via pull request March 1, 2025 02:55
@stepchowfunstepchowfun
synchronize #710
cnat
Status Failure
Total duration 1m 46s
Artifacts –

ci.yml

on: pull_request
Validate
1m 37s
Validate
Fit to window
Zoom out
Zoom in