Skip to content
[Jenkins]Jenkins
log in
Started 1 yr 0 mo ago
Took 2 min 33 sec
Success

#3 (Jul 1, 2023, 4:04:05 AM)

Build Artifacts
cpachecker-2.2-3-x86_64.pkg.tar.zst122.37 MiB view
cpachecker-2.2-3-x86_64.pkg.tar.zst.sig119 B view
cpachecker-debug-2.2-3-x86_64.pkg.tar.zst883.90 KiB view
cpachecker-debug-2.2-3-x86_64.pkg.tar.zst.sig119 B view

Started by an SCM change

Revision: 1a8e629e1b6e2a157a7d47b9135e3f55ef9d56c8
Repository: https://aur.archlinux.org/cpachecker.git
  • refs/remotes/origin/master
Changes
  1. update to v2.2 (details)