Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
427 workflow run results
427 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Replace direct stdout printing with logging coverage #1080: Pull request #1117 synchronize by sim642
January 11, 2024 10:13 11m 41s logs
logs
January 11, 2024 10:13 11m 41s
Replace direct stdout printing with logging coverage #1079: Pull request #1117 synchronize by sim642
January 11, 2024 10:06 10m 32s logs
logs
January 11, 2024 10:06 10m 32s
Replace direct stdout printing with logging coverage #1078: Pull request #1117 synchronize by sim642
January 11, 2024 09:14 11m 12s logs
logs
January 11, 2024 09:14 11m 12s
coverage coverage #1077: Scheduled
January 11, 2024 02:13 16m 1s master
master
January 11, 2024 02:13 16m 1s
Add Zulip badge and acknowledgement coverage #1076: Pull request #1320 opened by vesalvojdani
January 10, 2024 16:55 11m 8s ack-zulip
ack-zulip
January 10, 2024 16:55 11m 8s
Replace direct stdout printing with logging coverage #1075: Pull request #1117 synchronize by sim642
January 10, 2024 15:58 9m 49s logs
logs
January 10, 2024 15:58 9m 49s
Replace direct stdout printing with logging coverage #1074: Pull request #1117 synchronize by sim642
January 10, 2024 14:33 9m 32s logs
logs
January 10, 2024 14:33 9m 32s
Add Karoliine as a maintainer to relevant files coverage #1073: Pull request #1316 opened by karoliineh
January 10, 2024 09:53 10m 44s issue-1315
issue-1315
January 10, 2024 09:53 10m 44s
coverage coverage #1072: Scheduled
January 10, 2024 02:15 15m 2s master
master
January 10, 2024 02:15 15m 2s
Linear Two-Variable Equalities Analysis coverage #1071: Pull request #1297 synchronize by reb-ddm
January 9, 2024 19:45 11m 11s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 9, 2024 19:45 11m 11s
Some Refactoring of Affeq & Printing Bug coverage #1070: Pull request #1309 synchronize by michael-schwarz
January 9, 2024 17:38 10m 58s refactor_affeq
refactor_affeq
January 9, 2024 17:38 10m 58s
Linear Two-Variable Equalities Analysis coverage #1069: Pull request #1297 synchronize by reb-ddm
January 9, 2024 12:59 11m 24s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 9, 2024 12:59 11m 24s
Remove duplicate ctx-derived arguments in base analysis coverage #1068: Pull request #1308 synchronize by karoliineh
January 9, 2024 11:53 10m 53s issue-1266
issue-1266
January 9, 2024 11:53 10m 53s
Klever concurrency safety support coverage #1067: Pull request #688 synchronize by sim642
January 9, 2024 10:13 10m 44s klever
klever
January 9, 2024 10:13 10m 44s
Klever concurrency safety support coverage #1066: Pull request #688 synchronize by sim642
January 9, 2024 09:35 5m 49s klever
klever
January 9, 2024 09:35 5m 49s
Linear Two-Variable Equalities Analysis coverage #1065: Pull request #1297 synchronize by jennieliangga
January 9, 2024 09:04 10m 41s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 9, 2024 09:04 10m 41s
coverage coverage #1064: Scheduled
January 9, 2024 02:14 15m 47s master
master
January 9, 2024 02:14 15m 47s
Linear Two-Variable Equalities Analysis coverage #1063: Pull request #1297 synchronize by reb-ddm
January 8, 2024 17:09 11m 7s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 8, 2024 17:09 11m 7s
Linear Two-Variable Equalities Analysis coverage #1062: Pull request #1297 synchronize by reb-ddm
January 8, 2024 14:45 11m 5s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 8, 2024 14:45 11m 5s
Linear Two-Variable Equalities Analysis coverage #1061: Pull request #1297 synchronize by reb-ddm
January 8, 2024 13:34 10m 58s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 8, 2024 13:34 10m 58s
Linear Two-Variable Equalities Analysis coverage #1060: Pull request #1297 synchronize by alina-weber
January 8, 2024 11:25 10m 44s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 8, 2024 11:25 10m 44s
Linear Two-Variable Equalities Analysis coverage #1059: Pull request #1297 synchronize by alina-weber
January 8, 2024 10:41 11m 18s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 8, 2024 10:41 11m 18s
Linear Two-Variable Equalities Analysis coverage #1058: Pull request #1297 synchronize by alina-weber
January 8, 2024 09:45 11m 29s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 8, 2024 09:45 11m 29s
coverage coverage #1057: Scheduled
January 8, 2024 02:11 17m 40s master
master
January 8, 2024 02:11 17m 40s
Linear Two-Variable Equalities Analysis coverage #1056: Pull request #1297 synchronize by reb-ddm
January 7, 2024 16:53 10m 53s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 7, 2024 16:53 10m 53s