commit message

Add `elim` for Simpl Indexed Type #647

Sign in to view logs

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

Triggered via pull request December 29, 2024 08:26

synchronize #1263

elim-data

Status Success

Total duration 13s

Artifacts –

commit-check.yaml

on: pull_request