Skip to content

Actions: diffblue/cbmc

Actions

CI Performance Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-analysis.yaml
104 workflow runs
104 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #9142 from tomatotomata/codex/document-java8-defau… CI Performance Analysis #104: Commit 45436ee pushed by kroening
52s develop
develop
52s
Merge pull request #9148 from pkubaj/patch-1 CI Performance Analysis #103: Commit 0ebdc4c pushed by kroening
45s develop
develop
45s
Merge pull request #9041 from tautschnig/file_converter CI Performance Analysis #102: Commit 8575c6e pushed by kroening
9m 27s develop
develop
9m 27s
Merge pull request #9053 from tautschnig/extract/ansi-c-parser-compat CI Performance Analysis #101: Commit 362eb50 pushed by kroening
48s develop
develop
48s
Merge pull request #9122 from tautschnig/bigint-self-add CI Performance Analysis #100: Commit e7b5d2a pushed by kroening
53s develop
develop
53s
Merge pull request #9081 from rod-chapman/set-char-signedness-in-cont… CI Performance Analysis #99: Commit e32148b pushed by tautschnig
51s develop
develop
51s
Merge pull request #9063 from diffblue/strata/smt2-array-model-noncon… CI Performance Analysis #98: Commit a777c7b pushed by tautschnig
47s develop
develop
47s
Merge pull request #9079 from tautschnig/strata/cprover-allocate-live… CI Performance Analysis #97: Commit 9e80cec pushed by tautschnig
54s develop
develop
54s
Merge pull request #9120 from tautschnig/feature/argument-evaluation-… CI Performance Analysis #96: Commit f71fdad pushed by tautschnig
45s develop
develop
45s
Merge pull request #9117 from tautschnig/fix/dfcc-free-in-unreachable… CI Performance Analysis #95: Commit ff8e112 pushed by tautschnig
48s develop
develop
48s
Merge pull request #9110 from mernst/deterministic-sort CI Performance Analysis #94: Commit f5bf9cc pushed by kroening
48s develop
develop
48s
Merge pull request #9109 from mernst/compiling-markdown CI Performance Analysis #93: Commit 2a9730d pushed by kroening
52s develop
develop
52s
Merge pull request #9108 from tautschnig/cleanup/remove-homebrew-pr-job CI Performance Analysis #92: Commit 357954e pushed by kroening
51s develop
develop
51s
Merge pull request #9107 from tautschnig/cleanup/remove-slack-notific… CI Performance Analysis #91: Commit f88ea70 pushed by tautschnig
57s develop
develop
57s
Merge pull request #9105 from Th0rOnDoR/develop CI Performance Analysis #90: Commit 34bf21c pushed by tautschnig
47s develop
develop
47s
Merge pull request #9096 from diffblue/kroening/cmdline-set-char CI Performance Analysis #89: Commit 1e835df pushed by tautschnig
53s develop
develop
53s
Merge pull request #9093 from diffblue/remove_case_exprt CI Performance Analysis #88: Commit 3163ab8 pushed by tautschnig
45s develop
develop
45s
Merge pull request #8876 from tautschnig/test-coverage/show-global-ma… CI Performance Analysis #87: Commit ec14406 pushed by tautschnig
1m 48s develop
develop
1m 48s
Merge pull request #9092 from diffblue/dependabot/github_actions/acti… CI Performance Analysis #86: Commit 17ab9f4 pushed by tautschnig
50s develop
develop
50s
Merge pull request #9074 from tautschnig/strata/smt2-mathematical-and… CI Performance Analysis #85: Commit 21adc44 pushed by tautschnig
43s develop
develop
43s
Merge pull request #8860 from tautschnig/fix-8581-extractbits-within-… CI Performance Analysis #84: Commit b893967 pushed by tautschnig
47s develop
develop
47s
Merge pull request #9047 from tautschnig/extract/ansi-c-constant-comp… CI Performance Analysis #83: Commit 02c2769 pushed by tautschnig
49s develop
develop
49s
Merge pull request #9022 from chaosape/plan9-extensions CI Performance Analysis #82: Commit 1fedc90 pushed by tautschnig
14m 50s develop
develop
14m 50s
Merge pull request #9085 from tautschnig/loop_ids-block CI Performance Analysis #81: Commit e66d18b pushed by tautschnig
45s develop
develop
45s
Merge pull request #9084 from tautschnig/goto-diff-break CI Performance Analysis #80: Commit fab2918 pushed by tautschnig
51s develop
develop
51s