Skip to content

Proper implementation of SATISFIABILITY_ERROR #97

Proper implementation of SATISFIABILITY_ERROR

Proper implementation of SATISFIABILITY_ERROR #97

Triggered via pull request March 7, 2024 12:31
Status Success
Total duration 6m 31s
Artifacts

pr.yaml

on: pull_request
Test
53s
Test
Benchmark
6m 19s
Benchmark
Release snapshot  /  snapshot
33s
Release snapshot / snapshot
Release candidate  /  snapshot
Release candidate / snapshot
Fit to window
Zoom out
Zoom in

Annotations

8 warnings
Release snapshot / snapshot
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: the-guild-org/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Release snapshot / snapshot
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/
Release snapshot / snapshot
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/
Release snapshot / snapshot
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/
Release snapshot / snapshot
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/
Release snapshot / snapshot
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/
Test
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: pnpm/action-setup@v2, actions/setup-node@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Benchmark
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: pnpm/action-setup@v2, actions/setup-node@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.