Skip to content
Jira sync

BEq fails on structures with dependent types. #6

Sign in to view logs

BEq fails on structures with dependent types.

BEq fails on structures with dependent types. #6

Triggered via issue July 28, 2024 22:58
@kim-emkim-em
closed #3740 93ac635
Status Success
Total duration 12s
Artifacts –

jira.yml

on: issues
jira-sync
4s
jira-sync
Fit to window
Zoom out
Zoom in