Skip to content
Check PR title for commit convention

fix: delta-reduce constants with same name but different universes #11817

Sign in to view logs

fix: delta-reduce constants with same name but different universes

fix: delta-reduce constants with same name but different universes #11817

Triggered via pull request November 18, 2024 11:18
@arthur-adjedjarthur-adjedj
synchronize #6100
arthur-adjedj:isdefeq_delta_univs
Status Success
Total duration 12s
Artifacts –

pr-title.yml

on: pull_request
check-pr-title
2s
check-pr-title
Fit to window
Zoom out
Zoom in