Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
407 workflow run results
407 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

coverage coverage #947: Scheduled
December 15, 2023 02:11 19m 29s master
master
December 15, 2023 02:11 19m 29s
Bump actions/upload-artifact from 3 to 4 coverage #946: Pull request #1293 opened by dependabot bot
December 14, 2023 20:57 10m 57s dependabot/github_actions/actions/upload-artifact-4
dependabot/github_actions/actions/upload-artifact-4
December 14, 2023 20:57 10m 57s
Add some hacky atomic privatizations coverage #945: Pull request #1216 synchronize by sim642
December 14, 2023 11:54 5m 43s priv-atomic
priv-atomic
December 14, 2023 11:54 5m 43s
Make some exception printers lazy, do not use plain CIL printers in messages coverage #944: Pull request #1292 synchronize by sim642
December 14, 2023 10:41 15m 28s plain-cil-printer
plain-cil-printer
December 14, 2023 10:41 15m 28s
Make some exception printers lazy, do not use plain CIL printers in messages coverage #943: Pull request #1292 opened by sim642
December 14, 2023 10:12 11m 54s plain-cil-printer
plain-cil-printer
December 14, 2023 10:12 11m 54s
coverage coverage #942: Scheduled
December 14, 2023 02:09 27m 30s master
master
December 14, 2023 02:09 27m 30s
Bump github/codeql-action from 2 to 3 coverage #941: Pull request #1291 opened by dependabot bot
December 13, 2023 20:56 12m 23s dependabot/github_actions/github/codeql-action-3
dependabot/github_actions/github/codeql-action-3
December 13, 2023 20:56 12m 23s
Port 16 more library functions coverage #940: Pull request #1289 synchronize by michael-schwarz
December 13, 2023 15:11 16m 39s library_cubed
library_cubed
December 13, 2023 15:11 16m 39s
Add some hacky atomic privatizations coverage #939: Pull request #1216 synchronize by sim642
December 13, 2023 11:09 15m 53s priv-atomic
priv-atomic
December 13, 2023 11:09 15m 53s
coverage coverage #938: Scheduled
December 13, 2023 02:11 21m 14s master
master
December 13, 2023 02:11 21m 14s
coverage coverage #937: Scheduled
December 12, 2023 02:13 20m 53s master
master
December 12, 2023 02:13 20m 53s
Null Byte Array Domain coverage #936: Pull request #1076 synchronize by sim642
December 11, 2023 09:34 12m 45s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
December 11, 2023 09:34 12m 45s
coverage coverage #935: Scheduled
December 11, 2023 02:11 26m 14s master
master
December 11, 2023 02:11 26m 14s
coverage coverage #934: Scheduled
December 10, 2023 02:17 16m 28s master
master
December 10, 2023 02:17 16m 28s
coverage coverage #933: Scheduled
December 9, 2023 02:07 19m 10s master
master
December 9, 2023 02:07 19m 10s
Port 16 more library functions coverage #932: Pull request #1289 opened by michael-schwarz
December 8, 2023 19:30 13m 5s library_cubed
library_cubed
December 8, 2023 19:30 13m 5s
Improve GobView build coverage #931: Pull request #1215 synchronize by stilscher
December 8, 2023 17:25 15m 37s improve-gobview-build
improve-gobview-build
December 8, 2023 17:25 15m 37s
Changes for Pull Request bench#85: Automatic Generation of Test Cases for Incremental Static Analysis coverage #930: Pull request #1096 synchronize by stilscher
December 8, 2023 13:43 13m 30s J2000A:master
J2000A:master
December 8, 2023 13:43 13m 30s
Add unknown thread ID coverage #929: Pull request #1224 synchronize by sim642
December 8, 2023 08:52 12m 16s issue-392
issue-392
December 8, 2023 08:52 12m 16s
Organize more common modules into dune libraries coverage #928: Pull request #1288 synchronize by sim642
December 8, 2023 08:29 20m 44s goblint-dune-libs-2
goblint-dune-libs-2
December 8, 2023 08:29 20m 44s
coverage coverage #927: Scheduled
December 8, 2023 02:11 20m 59s master
master
December 8, 2023 02:11 20m 59s
More precise abstractions of trigonometric functions using c-stubs coverage #926: Pull request #1277 synchronize by FelixKrayer
December 7, 2023 22:18 18m 52s FelixKrayer:math_funeval
FelixKrayer:math_funeval
December 7, 2023 22:18 18m 52s
Simplify relational domains interface somewhat coverage #925: Pull request #1283 synchronize by michael-schwarz
December 7, 2023 16:24 12m 47s apron_libification
apron_libification
December 7, 2023 16:24 12m 47s
Simplify relational domains interface somewhat coverage #924: Pull request #1283 synchronize by michael-schwarz
December 7, 2023 10:22 20m 12s apron_libification
apron_libification
December 7, 2023 10:22 20m 12s
Simplify relational domains interface somewhat coverage #923: Pull request #1283 synchronize by michael-schwarz
December 7, 2023 10:22 13m 29s apron_libification
apron_libification
December 7, 2023 10:22 13m 29s