Coq latest

rename inv_state into sim_state #159

Sign in to view logs

Triggered via push February 20, 2024 13:16

adelaett

catala-admitless

Status Success

Total duration 9m 39s

Artifacts –

ci.yml

on: push

Matrix: build