Check world (test F* + all subprojects) · FStarLang/FStar@bd44708

Manually triggered September 5, 2024 03:41

mtzguido

_guidotest

Status Failure

Total duration 26m 23s

Artifacts 3

check-world.yml

on: workflow_dispatch

1 error and 1 warning

Process completed with exit code 2.

Unexpected input(s) 'path', valid inputs are ['name', 'hometag']

Produced during runtime