Skip to content
pull-request

fix: use correct types for postConditions #1550

Sign in to view logs

fix: use correct types for postConditions

fix: use correct types for postConditions #1550

Triggered via pull request February 3, 2025 17:29
@zone117xzone117x
synchronize #1784
fix/untyped-postconditions
Status Success
Total duration 6m 41s
Artifacts –

pull-request.yml

on: pull_request
pre-run  /  cancel-previous
2s
pre-run / cancel-previous
pre-run  /  check-fork
0s
pre-run / check-fork
tests  /  tests
3m 18s
tests / tests
commitlint
16s
commitlint
publish-pr
2m 48s
publish-pr
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
pre-run / check-fork
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
publish-pr
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/