SSA feature extractor #2335
pull_request.yml
on: pull_request
testing-tool
4s
build-developer-doc
1m 37s
static llvm-11 DebugOpt
/
Build ESBMC (ubuntu-latest)
17m 52s
static llvm-11 DebugOpt
/
Build ESBMC (windows-latest)
34m 12s
ARM64 linux build
/
Build ESBMC (ARM64)
3m 24s
arm64 darwin build
/
Build ESBMC (macos-latest)
2m 55s
dyn. llvm-13 DebugOpt
/
Build ESBMC (ubuntu-latest)
1h 6m
dyn. llvm-16 DebugOpt
/
Build ESBMC (ubuntu-latest)
59m 27s
Check C/C++ code-style
45s
Check CMake modules
7s
Annotations
2 errors and 25 warnings
static llvm-11 DebugOpt / Build ESBMC (ubuntu-latest)
Critical failure uploading '/home/runner/work/esbmc/esbmc/release/bin/esbmc'
|
static llvm-11 DebugOpt / Build ESBMC (ubuntu-latest)
Exit code 1 returned from process: file name '/home/runner/runners/2.317.0/bin/Runner.PluginHost', arguments 'action "GitHub.Runner.Plugins.Artifact.PublishArtifact, Runner.Plugins"'.
|
testing-tool
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
testing-tool
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Check CMake modules
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, actions/setup-python@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Check CMake modules
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Check C/C++ code-style
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Check C/C++ code-style
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
build-developer-doc
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
arm64 darwin build / Build ESBMC (macos-latest)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
arm64 darwin build / Build ESBMC (macos-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
arm64 darwin build / Build ESBMC (macos-latest)
Treating cmake as a formula. For the cask, use homebrew/cask/cmake or specify the `--cask` flag.
|
arm64 darwin build / Build ESBMC (macos-latest)
gmp 6.3.0 is already installed and up-to-date.
To reinstall 6.3.0, run:
brew reinstall gmp
|
arm64 darwin build / Build ESBMC (macos-latest)
cmake 3.29.5 is already installed and up-to-date.
To reinstall 3.29.5, run:
brew reinstall cmake
|
arm64 darwin build / Build ESBMC (macos-latest)
python@3.12 3.12.4 is already installed and up-to-date.
To reinstall 3.12.4, run:
brew reinstall python@3.12
|
arm64 darwin build / Build ESBMC (macos-latest)
llvm@15 15.0.7 is already installed and up-to-date.
To reinstall 15.0.7, run:
brew reinstall llvm@15
|
ARM64 linux build / Build ESBMC (ARM64)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
ARM64 linux build / Build ESBMC (ARM64)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
static llvm-11 DebugOpt / Build ESBMC (ubuntu-latest)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
static llvm-11 DebugOpt / Build ESBMC (ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
static llvm-11 DebugOpt / Build ESBMC (windows-latest)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-python@v2, actions/checkout@v2, actions/upload-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
static llvm-11 DebugOpt / Build ESBMC (windows-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/setup-python@v2, actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
dyn. llvm-16 DebugOpt / Build ESBMC (ubuntu-latest)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
dyn. llvm-16 DebugOpt / Build ESBMC (ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
dyn. llvm-13 DebugOpt / Build ESBMC (ubuntu-latest)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
dyn. llvm-13 DebugOpt / Build ESBMC (ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Deprecation notice: v1, v2, and v3 of the artifact actions
The following artifacts were uploaded using a version of actions/upload-artifact that is scheduled for deprecation: "Developer-Manual", "release-ARM64", "release-macos-latest", "release-ubuntu-latest", "release-windows-latest".
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/
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
Developer-Manual
|
265 KB |
|
release-ARM64
|
256 MB |
|
release-macos-latest
|
54.1 MB |
|
release-ubuntu-latest
|
313 MB |
|
release-windows-latest
|
82.5 MB |
|