commit message

Add `elim` for Simpl Indexed Type #648

Sign in to view logs

Summary
Jobs
- commit-check
Run details
- Usage
- Workflow file

Triggered via pull request December 29, 2024 08:29

synchronize #1263

elim-data

Status Success

Total duration 11s

Artifacts –

commit-check.yaml

on: pull_request