Skip to content
CI

rename: strong_rec → nat_omega_rec #6

Sign in to view logs

rename: strong_rec → nat_omega_rec

rename: strong_rec → nat_omega_rec #6

Triggered via push November 22, 2023 17:31
@iehalityiehality
pushed 9f48e40
master
Status Success
Total duration 4m 14s
Artifacts –

ci.yml

on: push
build
4m 7s
build
Fit to window
Zoom out
Zoom in