Formally prove totality and determinism of numeric casts#85
Open
zimri-leisher wants to merge 5 commits into
Open
Formally prove totality and determinism of numeric casts#85zimri-leisher wants to merge 5 commits into
zimri-leisher wants to merge 5 commits into
Annotations
2 warnings and 1 notice
|
Complete job
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
check-spelling
Found note for version 0.0.24: 'If you accept PRs from forks, they won't work. Please upgrade to https://github.com/check-spelling/check-spelling/releases/v0.0.26'
|
|
check-spelling
See `check-spelling` `pull_request_target` workflow (`.github/workflows/spelling.yml`) in PR #85. https://github.com/fprime-community/fpy/actions/workflows/.github/workflows/spelling.yml?query=event:pull_request_target+branch:math-proof https://github.com/fprime-community/fpy/pull/85/checks
|
background
wait
wait-all
cancel
parallel
Loading