Skip to content

Actions: diffblue/cbmc

Actions

Build and Test on *BSD

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bsd.yaml
140 workflow run results
140 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove non-existent user from CODEOWNERS Build and Test on *BSD #221: Pull request #8166 opened by tautschnig
January 22, 2024 15:45 35m 23s tautschnig:bugfixes/codeowners
tautschnig:bugfixes/codeowners
January 22, 2024 15:45 35m 23s
Merge pull request #8164 from diffblue/dependabot/github_actions/acti… Build and Test on *BSD #220: Commit 1d8bddd pushed by tautschnig
January 22, 2024 15:36 34m 35s develop
develop
January 22, 2024 15:36 34m 35s
Introduce bitst and bytest to avoid bit/byte mix-up Build and Test on *BSD #219: Pull request #7413 synchronize by tautschnig
January 22, 2024 15:36 30m 31s tautschnig:feature/bits-bytes
tautschnig:feature/bits-bytes
January 22, 2024 15:36 30m 31s
C front-end: refuse duplicate declaration of local variable Build and Test on *BSD #218: Pull request #8160 synchronize by tautschnig
January 22, 2024 15:17 43m 48s tautschnig:bugfixes/no-duplicate-decl
tautschnig:bugfixes/no-duplicate-decl
January 22, 2024 15:17 43m 48s
goto-symex: apply_condition should not change L2 index Build and Test on *BSD #217: Pull request #6993 synchronize by tautschnig
January 22, 2024 15:10 45m 22s tautschnig:cleanup/no-spurious-assignments
tautschnig:cleanup/no-spurious-assignments
January 22, 2024 15:10 45m 22s
Move rounding_mode_identifier() to configt Build and Test on *BSD #216: Pull request #6555 synchronize by tautschnig
January 22, 2024 15:08 43m 49s tautschnig:rounding-mode-symbol
tautschnig:rounding-mode-symbol
January 22, 2024 15:08 43m 49s
C front-end: typecheck conditional operator over string literal and 0 Build and Test on *BSD #215: Pull request #7946 synchronize by tautschnig
January 22, 2024 15:07 24m 8s tautschnig:bugfixes/null-ptr
tautschnig:bugfixes/null-ptr
January 22, 2024 15:07 24m 8s
Perform simplification of not_exprt as preorder step Build and Test on *BSD #214: Pull request #7996 synchronize by tautschnig
January 22, 2024 15:06 13m 3s tautschnig:simplify-not-preorder
tautschnig:simplify-not-preorder
January 22, 2024 15:06 13m 3s
Conditionally simplify use of if-then-else conditions Build and Test on *BSD #213: Pull request #8042 synchronize by tautschnig
January 22, 2024 15:05 9m 57s tautschnig:features/simplify-if-then-else
tautschnig:features/simplify-if-then-else
January 22, 2024 15:05 9m 57s
C front-end: refuse duplicate declaration of local variable Build and Test on *BSD #212: Pull request #8160 synchronize by tautschnig
January 22, 2024 15:01 6m 37s tautschnig:bugfixes/no-duplicate-decl
tautschnig:bugfixes/no-duplicate-decl
January 22, 2024 15:01 6m 37s
Merge pull request #7702 from tautschnig/cleanup/object-size-encoding Build and Test on *BSD #211: Commit 9220c3a pushed by tautschnig
January 22, 2024 14:50 11m 3s develop
develop
January 22, 2024 14:50 11m 3s
Bump actions/cache from 3 to 4 Build and Test on *BSD #210: Pull request #8164 synchronize by tautschnig
January 22, 2024 14:33 8m 0s dependabot/github_actions/actions/cache-4
dependabot/github_actions/actions/cache-4
January 22, 2024 14:33 8m 0s
Bump actions/cache from 3 to 4 Build and Test on *BSD #209: Pull request #8164 opened by dependabot bot
January 22, 2024 00:42 7m 5s dependabot/github_actions/actions/cache-4
dependabot/github_actions/actions/cache-4
January 22, 2024 00:42 7m 5s
Merge pull request #8162 from thomasspriggs/tas/remove_code_ownership Build and Test on *BSD #208: Commit 519a12b pushed by thomasspriggs
January 18, 2024 18:52 8m 56s develop
develop
January 18, 2024 18:52 8m 56s
Reduce Thomas and Fotis code ownership Build and Test on *BSD #207: Pull request #8162 synchronize by NlightNFotis
January 18, 2024 12:11 10m 5s thomasspriggs:tas/remove_code_ownership
thomasspriggs:tas/remove_code_ownership
January 18, 2024 12:11 10m 5s