Skip to content
Build and Test HW-CBMC

Add AGENTS.md for AI coding agents #5997

Sign in to view logs

Add AGENTS.md for AI coding agents

Add AGENTS.md for AI coding agents #5997

Triggered via pull request February 20, 2026 00:00
@kroeningkroening
opened #1658
kroening/agents-md
Status Success
Total duration 6m 37s
Artifacts 3

pull-request-checks.yaml

on: pull_request
check-ubuntu-24_04-make-clang
2m 54s
check-ubuntu-24_04-make-clang
check-ubuntu-24_04-make-gcc
2m 23s
check-ubuntu-24_04-make-gcc
CentOS 8
1m 7s
CentOS 8
check-macos-15-make-clang
3m 10s
check-macos-15-make-clang
Emscripten build
1m 50s
Emscripten build
check-vs-2022-make-build-and-test
2m 24s
check-vs-2022-make-build-and-test
benchmarking
3m 36s
benchmarking
ebmc-spot
23s
ebmc-spot
examples
7s
examples
check-ubuntu-24_04-make-clang-KNOWNBUG
47s
check-ubuntu-24_04-make-clang-KNOWNBUG
Fit to window
Zoom out
Zoom in

Annotations

12 warnings
CentOS 8
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
CentOS 8
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
Emscripten build
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
Emscripten build
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
check-ubuntu-24_04-make-gcc
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
check-ubuntu-24_04-make-gcc
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
check-vs-2022-make-build-and-test
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
check-vs-2022-make-build-and-test
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
check-ubuntu-24_04-make-clang
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
check-ubuntu-24_04-make-clang
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
check-macos-15-make-clang
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
check-macos-15-make-clang
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.

Artifacts

Produced during runtime
Name Size Digest
ebmc-binary
2.86 MB
sha256:779e637d4b8a41c7254a9b94de1b769332b9fa915d6ca1777d638a5a82ef48af
hw-cbmc-binary
5.21 MB
sha256:5e5a715bd92a16e360a1a2c37eb34c9c0e2f1ec089c897dae3dbdae47c9087fb
vlindex-binary
814 KB
sha256:2458d6450d1da03d2e23fa03c7b6670e64da72a85e265dd797ff237f608219e9