Skip to content
.github/workflows/charon.yml

Export discriminant values in AdtDef #89

Sign in to view logs

Export discriminant values in AdtDef

Export discriminant values in AdtDef #89

Triggered via pull request June 14, 2024 09:55
@NadrierilNadrieril
synchronize #693
discriminant_values
Status Failure
Total duration 4m 41s
Artifacts –

charon.yml

on: pull_request
charon
4m 32s
charon
Fit to window
Zoom out
Zoom in

Annotations

1 error
charon
Process completed with exit code 1.