Skip to content
.github/workflows/ci.yml

Add the num_fwd_inputs_no_fuel_no_state field in Pure.fun_sig #158

Sign in to view logs

Add the num_fwd_inputs_no_fuel_no_state field in Pure.fun_sig

Add the num_fwd_inputs_no_fuel_no_state field in Pure.fun_sig #158

Triggered via push December 13, 2023 09:56
@sonmarchosonmarcho
pushed 496a384
son/merge_back
Status Success
Total duration 8m 21s
Artifacts –

ci.yml

on: push
nix
3m 38s
nix
lean
8m 12s
lean
Fit to window
Zoom out
Zoom in