Skip to content
Continuous integration

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

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 #4689

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

ci.yml

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