Skip to content
Check PR body for changelog convention

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

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 #598

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

pr-body.yml

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