Skip to content
Enforce issue references for TODOs

Apply bindings before returning unification mismatch error #2142

Sign in to view logs

Apply bindings before returning unification mismatch error

Apply bindings before returning unification mismatch error #2142

Triggered via pull request June 22, 2024 23:05
@byorgeybyorgey
opened #1972
push-tnoyvzunsuxx
Status Success
Total duration 12s
Artifacts –

check_todos.yml

on: pull_request
Enforce issue references
3s
Enforce issue references
Fit to window
Zoom out
Zoom in