.github/workflows/charon.yml

fix(engine): `Concrete_ident_generated`: `name` -> `t`, derive more #184

Sign in to view logs

Summary
Jobs
- charon
Run details
- Usage
- Workflow file

Triggered via pull request July 1, 2024 09:16

W95Psp

synchronize #727

refactor-concrete-ident-generated

Status Success

Total duration 5m 58s

Artifacts –

charon.yml

on: pull_request