Restricting well-foundedness on inductives function-typed fields #2479

Triggered via pull request August 1, 2023 14:00

nikswamy

synchronize #2954

nik_wf

Status Success

Total duration 10m 5s

Artifacts 2

linux-x64.yaml

on: pull_request

2 errors

Unable to process file command 'env' successfully.

Invalid format '<html><head>'

Produced during runtime

Name	Size
Resource usage information (individual) Expired	119 KB
Resource usage information (summary) Expired	3.96 KB