Test installations

Engine: F*: fix #677 by always extracting implicit types #1859

Sign in to view logs

Triggered via pull request May 16, 2024 15:17

W95Psp

synchronize #679

fix-667-explicits-types

Status Skipped

Total duration 4s

Artifacts –

test_installs.yml

on: pull_request

Matrix: setup_sh

setup_sh_status