Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
281 workflow run results
281 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

TUM Practical Course Summer 2023: Termination Analyses coverage #681: Pull request #1093 synchronize by michael-schwarz
November 1, 2023 17:19 31m 52s serenita:master
serenita:master
November 1, 2023 17:19 31m 52s
Spawn threads created from unknown functions as non-unique coverage #680: Pull request #1187 synchronize by michael-schwarz
November 1, 2023 16:48 24m 41s issue_843
issue_843
November 1, 2023 16:48 24m 41s
threadAnalysis: Only add to set of must-joined threads if argument to pthread_join evaluates to a singleton coverage #679: Pull request #1230 opened by michael-schwarz
November 1, 2023 16:03 17m 36s issue_1223
issue_1223
November 1, 2023 16:03 17m 36s
Improve SV-COMP conf for no-data-race coverage #678: Pull request #1207 synchronize by sim642
November 1, 2023 10:11 22m 2s svcomp24-conf
svcomp24-conf
November 1, 2023 10:11 22m 2s
coverage coverage #677: Scheduled
November 1, 2023 02:09 45m 27s master
master
November 1, 2023 02:09 45m 27s
Support multi-property SV-COMP specifications coverage #676: Pull request #1228 synchronize by sim642
October 31, 2023 17:13 25m 3s sv-comp-multiproperty
sv-comp-multiproperty
October 31, 2023 17:13 25m 3s
Support multi-property SV-COMP specifications coverage #675: Pull request #1228 opened by sim642
October 31, 2023 17:00 22m 25s sv-comp-multiproperty
sv-comp-multiproperty
October 31, 2023 17:00 22m 25s
coverage coverage #674: Scheduled
October 31, 2023 02:05 41m 6s master
master
October 31, 2023 02:05 41m 6s
Refactor GraphML witness options coverage #673: Pull request #1226 opened by sim642
October 30, 2023 15:46 20m 39s sv-comp-yaml
sv-comp-yaml
October 30, 2023 15:46 20m 39s
coverage coverage #672: Scheduled
October 30, 2023 02:05 35m 5s master
master
October 30, 2023 02:05 35m 5s
Add unknown thread ID coverage #671: Pull request #1224 synchronize by karoliineh
October 29, 2023 19:20 18m 27s issue-392
issue-392
October 29, 2023 19:20 18m 27s
Add unknown thread ID coverage #670: Pull request #1224 synchronize by karoliineh
October 29, 2023 18:20 21m 58s issue-392
issue-392
October 29, 2023 18:20 21m 58s
Add unknown thread ID coverage #669: Pull request #1224 synchronize by karoliineh
October 29, 2023 18:16 21m 34s issue-392
issue-392
October 29, 2023 18:16 21m 34s
coverage coverage #668: Scheduled
October 29, 2023 02:07 32m 31s master
master
October 29, 2023 02:07 32m 31s
coverage coverage #667: Scheduled
October 28, 2023 02:02 43m 25s master
master
October 28, 2023 02:02 43m 25s
Add unknown thread ID coverage #666: Pull request #1224 synchronize by karoliineh
October 27, 2023 21:20 16m 5s issue-392
issue-392
October 27, 2023 21:20 16m 5s
Add unknown thread ID coverage #665: Pull request #1224 opened by karoliineh
October 27, 2023 11:49 19m 13s issue-392
issue-392
October 27, 2023 11:49 19m 13s
coverage coverage #664: Scheduled
October 27, 2023 02:03 36m 6s master
master
October 27, 2023 02:03 36m 6s
coverage coverage #662: Scheduled
October 26, 2023 02:03 31m 48s master
master
October 26, 2023 02:03 31m 48s
coverage coverage #661: Scheduled
October 25, 2023 02:04 36m 57s master
master
October 25, 2023 02:04 36m 57s
coverage coverage #660: Scheduled
October 24, 2023 02:04 37m 4s master
master
October 24, 2023 02:04 37m 4s
Bump actions/setup-node from 3 to 4 coverage #659: Pull request #1222 opened by dependabot bot
October 23, 2023 20:19 24m 5s dependabot/github_actions/actions/setup-node-4
dependabot/github_actions/actions/setup-node-4
October 23, 2023 20:19 24m 5s
coverage coverage #658: Scheduled
October 23, 2023 02:05 32m 16s master
master
October 23, 2023 02:05 32m 16s
coverage coverage #657: Scheduled
October 22, 2023 02:08 31m 4s master
master
October 22, 2023 02:08 31m 4s
coverage coverage #656: Scheduled
October 21, 2023 02:02 46m 14s master
master
October 21, 2023 02:02 46m 14s
ProTip! You can narrow down the results and go further in time using created:<2023-10-21 or the other filters available.