Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
360 workflow run results
360 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump actions/deploy-pages from 3 to 4 coverage #965: Pull request #1304 opened by dependabot bot
December 19, 2023 20:29 10m 43s dependabot/github_actions/actions/deploy-pages-4
dependabot/github_actions/actions/deploy-pages-4
December 19, 2023 20:29 10m 43s
Bump actions/upload-pages-artifact from 2 to 3 coverage #964: Pull request #1303 opened by dependabot bot
December 19, 2023 20:29 11m 2s dependabot/github_actions/actions/upload-pages-artifact-3
dependabot/github_actions/actions/upload-pages-artifact-3
December 19, 2023 20:29 11m 2s
coverage coverage #963: Scheduled
December 19, 2023 02:10 17m 28s master
master
December 19, 2023 02:10 17m 28s
coverage coverage #962: Scheduled
December 18, 2023 02:11 18m 11s master
master
December 18, 2023 02:11 18m 11s
Linear Two-Variable Equalities Analysis coverage #961: Pull request #1297 synchronize by reb-ddm
December 17, 2023 22:00 10m 57s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
December 17, 2023 22:00 10m 57s
coverage coverage #958: Scheduled
December 17, 2023 02:17 13m 56s master
master
December 17, 2023 02:17 13m 56s
coverage coverage #957: Scheduled
December 16, 2023 02:08 20m 37s master
master
December 16, 2023 02:08 20m 37s
coverage coverage #956: Manually run by sim642
December 15, 2023 14:10 11m 14s master
master
December 15, 2023 14:10 11m 14s
Add some hacky atomic privatizations coverage #955: Pull request #1216 synchronize by sim642
December 15, 2023 14:08 8m 31s priv-atomic
priv-atomic
December 15, 2023 14:08 8m 31s
Clean up SV-COMP directory coverage #954: Pull request #1295 opened by sim642
December 15, 2023 10:22 18m 36s sv-comp-cleanup
sv-comp-cleanup
December 15, 2023 10:22 18m 36s
Bump actions/upload-artifact from 3 to 4 coverage #953: Pull request #1293 synchronize by sim642
December 15, 2023 09:45 10m 23s dependabot/github_actions/actions/upload-artifact-4
dependabot/github_actions/actions/upload-artifact-4
December 15, 2023 09:45 10m 23s
Improve readability of global invariants coverage #952: Pull request #1294 synchronize by sim642
December 15, 2023 09:34 12m 25s printable-expand
printable-expand
December 15, 2023 09:34 12m 25s
Improve readability of global invariants coverage #951: Pull request #1294 synchronize by sim642
December 15, 2023 09:27 17m 36s printable-expand
printable-expand
December 15, 2023 09:27 17m 36s
Improve readability of global invariants coverage #950: Pull request #1294 synchronize by sim642
December 15, 2023 09:05 13m 41s printable-expand
printable-expand
December 15, 2023 09:05 13m 41s
Improve readability of global invariants coverage #949: Pull request #1294 synchronize by sim642
December 15, 2023 08:56 12m 28s printable-expand
printable-expand
December 15, 2023 08:56 12m 28s
Improve readability of global invariants coverage #948: Pull request #1294 opened by sim642
December 15, 2023 08:41 15m 31s printable-expand
printable-expand
December 15, 2023 08:41 15m 31s
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