Skip to content
Back to pull request #9859

feat: Int.{even_sub_one,even_mul_pred_self} #70744

Sign in to view logs

feat: Int.{even_sub_one,even_mul_pred_self}

feat: Int.{even_sub_one,even_mul_pred_self} #70744

Triggered via push January 20, 2024 09:21
@Ruben-VandeVeldeRuben-VandeVelde
pushed a8aeb8f
even_mul_pred_self
Status Success
Total duration 10s
Artifacts –

build_fork.yml

on: push
Lint style (fork)
0s
Lint style (fork)
Check all files imported (fork)
0s
Check all files imported (fork)
Build (fork)
0s
Build (fork)
Cancel Previous Runs (CI)
2s
Cancel Previous Runs (CI)
check workflows (fork)
0s
check workflows (fork)
Post-CI job (fork)
0s
Post-CI job (fork)
Fit to window
Zoom out
Zoom in