Skip to content
Continuous integration

Prove that 0 != 1 with the W-encoded natural number types #4694

Sign in to view logs

Prove that 0 != 1 with the W-encoded natural number types

Prove that 0 != 1 with the W-encoded natural number types #4694

Triggered via pull request March 1, 2025 07:43
@stepchowfunstepchowfun
opened #711
0-ne-1
Status Success
Total duration 6m 39s
Artifacts –

ci.yml

on: pull_request
Validate
6m 30s
Validate
Fit to window
Zoom out
Zoom in