Skip to content
Check for stage0 changes

fix: [implemented_by] at functions defined by well-founded recursion #1588

Sign in to view logs

fix: [implemented_by] at functions defined by well-founded recursion

fix: [implemented_by] at functions defined by well-founded recursion #1588

Triggered via pull request June 19, 2024 23:55
@leodemouraleodemoura
opened #4508
issue_2899
Status Success
Total duration 20s
Artifacts –

check-stage0.yml

on: pull_request
check-stage0-on-queue
10s
check-stage0-on-queue
Fit to window
Zoom out
Zoom in