.github/workflows/charon.yml

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

Sign in to view logs

Summary
Jobs
- charon
Run details
- Usage
- Workflow file

Triggered via pull request July 1, 2024 11:31

W95Psp

synchronize #727

refactor-concrete-ident-generated

Status Success

Total duration 5m 45s

Artifacts –

charon.yml

on: pull_request