Skip to content

Actions: diffblue/cbmc

Actions

Performance Benchmarking

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
performance.yaml
1,143 workflow runs
1,143 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CONTRACTS: allow pointer predicates to fail in assume contexts Performance Benchmarking #1077: Pull request #8562 synchronize by remi-delmas-3000
January 14, 2025 23:37 15m 24s remi-delmas-3000:contracts-allow-is-fresh-to-fail
remi-delmas-3000:contracts-allow-is-fresh-to-fail
January 14, 2025 23:37 15m 24s
CONTRACTS: allow pointer predicates to fail in assume contexts Performance Benchmarking #1076: Pull request #8562 synchronize by remi-delmas-3000
January 14, 2025 23:06 14m 30s remi-delmas-3000:contracts-allow-is-fresh-to-fail
remi-delmas-3000:contracts-allow-is-fresh-to-fail
January 14, 2025 23:06 14m 30s
CONTRACTS: allow pointer predicates to fail in assume contexts Performance Benchmarking #1075: Pull request #8562 synchronize by remi-delmas-3000
January 14, 2025 18:54 15m 4s remi-delmas-3000:contracts-allow-is-fresh-to-fail
remi-delmas-3000:contracts-allow-is-fresh-to-fail
January 14, 2025 18:54 15m 4s
CONTRACTS: allow pointer predicates to fail in assume contexts Performance Benchmarking #1074: Pull request #8562 synchronize by remi-delmas-3000
January 14, 2025 18:33 15m 54s remi-delmas-3000:contracts-allow-is-fresh-to-fail
remi-delmas-3000:contracts-allow-is-fresh-to-fail
January 14, 2025 18:33 15m 54s
CONTRACTS: allow pointer predicates to fail in assume contexts Performance Benchmarking #1073: Pull request #8562 synchronize by remi-delmas-3000
January 14, 2025 17:10 15m 13s remi-delmas-3000:contracts-allow-is-fresh-to-fail
remi-delmas-3000:contracts-allow-is-fresh-to-fail
January 14, 2025 17:10 15m 13s
CONTRACTS: allow pointer predicates to fail in assume contexts Performance Benchmarking #1072: Pull request #8562 synchronize by remi-delmas-3000
January 13, 2025 22:49 14m 32s remi-delmas-3000:contracts-allow-is-fresh-to-fail
remi-delmas-3000:contracts-allow-is-fresh-to-fail
January 13, 2025 22:49 14m 32s
CONTRACTS: allow pointer predicates to fail in assume contexts Performance Benchmarking #1071: Pull request #8562 synchronize by remi-delmas-3000
January 13, 2025 22:47 14m 57s remi-delmas-3000:contracts-allow-is-fresh-to-fail
remi-delmas-3000:contracts-allow-is-fresh-to-fail
January 13, 2025 22:47 14m 57s
CONTRACTS: allow pointer predicates to fail in assume contexts Performance Benchmarking #1070: Pull request #8562 synchronize by remi-delmas-3000
January 13, 2025 22:40 15m 4s remi-delmas-3000:contracts-allow-is-fresh-to-fail
remi-delmas-3000:contracts-allow-is-fresh-to-fail
January 13, 2025 22:40 15m 4s
Update third-party miniz to 0c30a001bc3c70 Performance Benchmarking #1069: Pull request #8563 synchronize by tautschnig
January 13, 2025 19:58 14m 54s tautschnig:miniz-update
tautschnig:miniz-update
January 13, 2025 19:58 14m 54s
Merge pull request #8564 from tautschnig/fix-doc-build Performance Benchmarking #1068: Commit 97c8624 pushed by tautschnig
January 13, 2025 19:56 27m 7s develop
develop
January 13, 2025 19:56 27m 7s
Fix publish workflow Performance Benchmarking #1067: Pull request #8564 synchronize by tautschnig
January 13, 2025 14:56 15m 3s tautschnig:fix-doc-build
tautschnig:fix-doc-build
January 13, 2025 14:56 15m 3s
Fix publish workflow Performance Benchmarking #1066: Pull request #8564 synchronize by tautschnig
January 13, 2025 14:42 17m 15s tautschnig:fix-doc-build
tautschnig:fix-doc-build
January 13, 2025 14:42 17m 15s
Fix publish workflow Performance Benchmarking #1065: Pull request #8564 synchronize by tautschnig
January 13, 2025 14:37 15m 26s tautschnig:fix-doc-build
tautschnig:fix-doc-build
January 13, 2025 14:37 15m 26s
Fix publish workflow Performance Benchmarking #1064: Pull request #8564 synchronize by tautschnig
January 13, 2025 14:08 16m 30s tautschnig:fix-doc-build
tautschnig:fix-doc-build
January 13, 2025 14:08 16m 30s
Fix publish workflow Performance Benchmarking #1063: Pull request #8564 synchronize by tautschnig
January 13, 2025 14:06 15m 0s tautschnig:fix-doc-build
tautschnig:fix-doc-build
January 13, 2025 14:06 15m 0s
Fix publish workflow Performance Benchmarking #1062: Pull request #8564 synchronize by tautschnig
January 13, 2025 13:53 15m 24s tautschnig:fix-doc-build
tautschnig:fix-doc-build
January 13, 2025 13:53 15m 24s
Fix publish workflow Performance Benchmarking #1061: Pull request #8564 synchronize by tautschnig
January 13, 2025 13:37 14m 50s tautschnig:fix-doc-build
tautschnig:fix-doc-build
January 13, 2025 13:37 14m 50s
Fix publish workflow Performance Benchmarking #1060: Pull request #8564 synchronize by tautschnig
January 13, 2025 13:25 21m 44s tautschnig:fix-doc-build
tautschnig:fix-doc-build
January 13, 2025 13:25 21m 44s
Fix publish workflow Performance Benchmarking #1059: Pull request #8564 synchronize by tautschnig
January 13, 2025 13:22 15m 53s tautschnig:fix-doc-build
tautschnig:fix-doc-build
January 13, 2025 13:22 15m 53s
Update third-party miniz to 0c30a001bc3c70 Performance Benchmarking #1058: Pull request #8563 synchronize by tautschnig
January 13, 2025 13:18 15m 4s tautschnig:miniz-update
tautschnig:miniz-update
January 13, 2025 13:18 15m 4s
Fix publish workflow Performance Benchmarking #1057: Pull request #8564 opened by tautschnig
January 13, 2025 12:40 27m 18s tautschnig:fix-doc-build
tautschnig:fix-doc-build
January 13, 2025 12:40 27m 18s
Update third-party miniz to 0c30a001bc3c70 Performance Benchmarking #1056: Pull request #8563 synchronize by tautschnig
January 13, 2025 11:42 46m 24s tautschnig:miniz-update
tautschnig:miniz-update
January 13, 2025 11:42 46m 24s
Update third-party miniz to 0c30a001bc3c70 Performance Benchmarking #1055: Pull request #8563 opened by tautschnig
January 13, 2025 11:29 47m 49s tautschnig:miniz-update
tautschnig:miniz-update
January 13, 2025 11:29 47m 49s
CONTRACTS: allow pointer predicates to fail in assume contexts Performance Benchmarking #1054: Pull request #8562 synchronize by remi-delmas-3000
January 12, 2025 21:06 15m 3s remi-delmas-3000:contracts-allow-is-fresh-to-fail
remi-delmas-3000:contracts-allow-is-fresh-to-fail
January 12, 2025 21:06 15m 3s
CONTRACTS: allow pointer predicates to fail in assume contexts Performance Benchmarking #1053: Pull request #8562 synchronize by remi-delmas-3000
January 12, 2025 19:08 14m 59s remi-delmas-3000:contracts-allow-is-fresh-to-fail
remi-delmas-3000:contracts-allow-is-fresh-to-fail
January 12, 2025 19:08 14m 59s