Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
1,173 workflow run results
1,173 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Do not expand lifted thread ID options #6945: Commit 152b54b pushed by sim642
December 15, 2023 09:34 17s printable-expand
printable-expand
December 15, 2023 09:34 17s
Improve readability of global invariants options #6944: Pull request #1294 synchronize by sim642
December 15, 2023 09:27 18s printable-expand
printable-expand
December 15, 2023 09:27 18s
Simplify SymbLocks.A.E printing options #6943: Commit bbe86ae pushed by sim642
December 15, 2023 09:27 19s printable-expand
printable-expand
December 15, 2023 09:27 19s
Improve readability of global invariants options #6942: Pull request #1294 synchronize by sim642
December 15, 2023 09:05 25s printable-expand
printable-expand
December 15, 2023 09:05 25s
Use Conf in Printable.LiftConf options #6941: Commit cc39ddd pushed by sim642
December 15, 2023 09:05 25s printable-expand
printable-expand
December 15, 2023 09:05 25s
Improve readability of global invariants options #6940: Pull request #1294 synchronize by sim642
December 15, 2023 08:56 19s printable-expand
printable-expand
December 15, 2023 08:56 19s
Extract Printable.PrefixName functor to deduplicate expand code options #6939: Commit dceb4be pushed by sim642
December 15, 2023 08:56 20s printable-expand
printable-expand
December 15, 2023 08:56 20s
Improve readability of global invariants options #6938: Pull request #1294 opened by sim642
December 15, 2023 08:41 20s printable-expand
printable-expand
December 15, 2023 08:41 20s
Bump actions/upload-artifact from 3 to 4 options #6937: Pull request #1293 opened by dependabot bot
December 14, 2023 20:57 25s dependabot/github_actions/actions/upload-artifact-4
dependabot/github_actions/actions/upload-artifact-4
December 14, 2023 20:57 25s
Bump actions/upload-artifact from 3 to 4 options #6936: Commit 838a17b pushed by dependabot bot
December 14, 2023 20:57 19s dependabot/github_actions/actions/upload-artifact-4
dependabot/github_actions/actions/upload-artifact-4
December 14, 2023 20:57 19s
Simplify default Lattice.Flat usage options #6935: Commit ea029bc pushed by sim642
December 14, 2023 14:32 21s printable-expand
printable-expand
December 14, 2023 14:32 21s
Add Lattice.Lift2Conf options #6934: Commit 3d5c65d pushed by sim642
December 14, 2023 13:54 19s printable-expand
printable-expand
December 14, 2023 13:54 19s
Add Lattice.Lift2Conf options #6933: Commit 1ecca1d pushed by sim642
December 14, 2023 13:48 18s printable-expand
printable-expand
December 14, 2023 13:48 18s
Remove variant name duplication in privatizations options #6932: Commit 38942f9 pushed by sim642
December 14, 2023 13:32 22s printable-expand
printable-expand
December 14, 2023 13:32 22s
Add some hacky atomic privatizations options #6931: Pull request #1216 synchronize by sim642
December 14, 2023 11:54 26s priv-atomic
priv-atomic
December 14, 2023 11:54 26s
Add names to mutex-meet-tid components options #6930: Commit a322785 pushed by sim642
December 14, 2023 11:54 20s priv-atomic
priv-atomic
December 14, 2023 11:54 20s
Make some exception printers lazy, do not use plain CIL printers in messages options #6929: Pull request #1292 synchronize by sim642
December 14, 2023 10:41 25s plain-cil-printer
plain-cil-printer
December 14, 2023 10:41 25s
Promote cram tests after invalidating expressions output change options #6928: Commit 86ab239 pushed by sim642
December 14, 2023 10:41 35s plain-cil-printer
plain-cil-printer
December 14, 2023 10:41 35s
Make some exception printers lazy, do not use plain CIL printers in messages options #6927: Pull request #1292 opened by sim642
December 14, 2023 10:12 31s plain-cil-printer
plain-cil-printer
December 14, 2023 10:12 31s
Make Offset.Type_of_error string construction lazy options #6926: Commit 0dd4396 pushed by sim642
December 14, 2023 10:07 25s plain-cil-printer
plain-cil-printer
December 14, 2023 10:07 25s
Bump github/codeql-action from 2 to 3 options #6925: Pull request #1291 opened by dependabot bot
December 13, 2023 20:56 18s dependabot/github_actions/github/codeql-action-3
dependabot/github_actions/github/codeql-action-3
December 13, 2023 20:56 18s
Bump github/codeql-action from 2 to 3 options #6924: Commit 7b38a73 pushed by dependabot bot
December 13, 2023 20:56 19s dependabot/github_actions/github/codeql-action-3
dependabot/github_actions/github/codeql-action-3
December 13, 2023 20:56 19s
Merge pull request #1289 from goblint/library_cubed options #6923: Commit ce3d4e9 pushed by michael-schwarz
December 13, 2023 15:12 3m 24s master
master
December 13, 2023 15:12 3m 24s
Port 16 more library functions options #6922: Pull request #1289 synchronize by michael-schwarz
December 13, 2023 15:11 3m 25s library_cubed
library_cubed
December 13, 2023 15:11 3m 25s
Be more conservative for ioctl options #6921: Commit ea83c30 pushed by michael-schwarz
December 13, 2023 15:11 25s library_cubed
library_cubed
December 13, 2023 15:11 25s