Skip to content
license-check

Check by default that all pure and ghost functions have termination measures #1744

Sign in to view logs

Check by default that all pure and ghost functions have termination measures

Check by default that all pure and ghost functions have termination measures #1744

Triggered via pull request January 12, 2024 10:41
@jcp19jcp19
synchronize #718
joao-check-well-founded-funcs
Status Success
Total duration 12s
Artifacts –

license-check.yml

on: pull_request
check-license-headers
4s
check-license-headers
Fit to window
Zoom out
Zoom in