SMTLIB integration fixes #1103
Annotations
2 warnings
|
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@c85c95e3d7251135ab7dc9ce3241c5835cc595a9, actions/download-artifact@9bc31d5ccc31df68ecc42ccf4149144866c47d8a, actions/upload-artifact@0b7f8abb1508181956e8e162db84b466c27e18ce, JamesIves/github-pages-deploy-action@22a6ee251d6f13c6ab1ecb200d974f1a6feb1b8d, thollander/actions-comment-pull-request@dadb7667129e23f12ca3925c90dc5cd7121ab57e. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
The following artifacts were uploaded using a version of actions/upload-artifact that is scheduled for deprecation: "BenchexecResults", "BenchexecResults-ConcurrencySafety-Main", "BenchexecResults-ConcurrencySafety-MemSafety", "BenchexecResults-ConcurrencySafety-NoOverflows", "BenchexecResults-NoDataRace-Main", "BenchexecResults-ReachSafety-Arrays", "BenchexecResults-ReachSafety-BitVectors", "BenchexecResults-ReachSafety-Combinations", "BenchexecResults-ReachSafety-ControlFlow", "BenchexecResults-ReachSafety-ECA", "BenchexecResults-ReachSafety-Floats", "BenchexecResults-ReachSafety-Hardware", "BenchexecResults-ReachSafety-Heap", "BenchexecResults-ReachSafety-Loops", "BenchexecResults-ReachSafety-Recursive", "BenchexecResults-ReachSafety-Sequentialized", "BenchexecResults-ReachSafety-XCSP", "EmergenTheta_SV-COMP", "Theta_SV-COMP", "ThetaJars".
Please update your workflow to use v4 of the artifact actions.
Learn more: https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/
|
This job succeeded
Loading