Skip to content

Actions: goblint/analyzer

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
238 workflow run results
238 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

coverage
coverage #660: Scheduled
October 24, 2023 02:04 37m 4s master
October 24, 2023 02:04 37m 4s
coverage
coverage #658: Scheduled
October 23, 2023 02:05 32m 16s master
October 23, 2023 02:05 32m 16s
coverage
coverage #657: Scheduled
October 22, 2023 02:08 31m 4s master
October 22, 2023 02:08 31m 4s
coverage
coverage #656: Scheduled
October 21, 2023 02:02 46m 14s master
October 21, 2023 02:02 46m 14s
Add some hacky atomic privatizations
coverage #655: Pull request #1216 synchronize by sim642
October 20, 2023 15:18 22m 37s priv-atomic
October 20, 2023 15:18 22m 37s
Add some hacky atomic privatizations
coverage #654: Pull request #1216 synchronize by sim642
October 20, 2023 09:07 27m 29s priv-atomic
October 20, 2023 09:07 27m 29s
Add some hacky atomic privatizations
coverage #653: Pull request #1216 synchronize by sim642
October 20, 2023 08:57 30m 9s priv-atomic
October 20, 2023 08:57 30m 9s
Add some hacky atomic privatizations
coverage #652: Pull request #1216 synchronize by sim642
October 20, 2023 08:47 29m 58s priv-atomic
October 20, 2023 08:47 29m 58s
Add some hacky atomic privatizations
coverage #651: Pull request #1216 synchronize by sim642
October 20, 2023 08:39 28m 31s priv-atomic
October 20, 2023 08:39 28m 31s
coverage
coverage #650: Scheduled
October 20, 2023 02:04 38m 17s master
October 20, 2023 02:04 38m 17s
coverage
coverage #649: Scheduled
October 19, 2023 02:04 32m 51s master
October 19, 2023 02:04 32m 51s
No shortcut for narrow and meet in HConsed when int refinement is active
coverage #648: Pull request #1186 synchronize by michael-schwarz
October 18, 2023 05:43 30m 41s issue_1005
October 18, 2023 05:43 30m 41s
coverage
coverage #647: Scheduled
October 18, 2023 02:05 36m 25s master
October 18, 2023 02:05 36m 25s
coverage
coverage #646: Scheduled
October 17, 2023 02:05 36m 36s master
October 17, 2023 02:05 36m 36s
Fix longjmp crash on Uninitialized
coverage #645: Pull request #1210 synchronize by sim642
October 16, 2023 14:37 19m 52s longjmp-top
October 16, 2023 14:37 19m 52s
coverage
coverage #644: Scheduled
October 16, 2023 02:06 44m 31s master
October 16, 2023 02:06 44m 31s
coverage
coverage #643: Scheduled
October 15, 2023 02:07 31m 30s master
October 15, 2023 02:07 31m 30s
coverage
coverage #642: Scheduled
October 14, 2023 02:02 38m 18s master
October 14, 2023 02:02 38m 18s
coverage
coverage #641: Scheduled
October 13, 2023 02:07 40m 24s master
October 13, 2023 02:07 40m 24s
TUM Practical Course Summer 2023: Termination Analyses
coverage #640: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 15:05 19m 58s serenita:master
October 12, 2023 15:05 19m 58s
TUM Practical Course Summer 2023: Termination Analyses
coverage #639: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 14:55 19m 21s serenita:master
October 12, 2023 14:55 19m 21s
TUM Practical Course Summer 2023: Termination Analyses
coverage #638: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 14:42 24m 4s serenita:master
October 12, 2023 14:42 24m 4s
TUM Practical Course Summer 2023: Termination Analyses
coverage #637: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 14:39 22m 6s serenita:master
October 12, 2023 14:39 22m 6s
Add some hacky atomic privatizations
coverage #636: Pull request #1216 opened by sim642
October 12, 2023 14:13 26m 25s priv-atomic
October 12, 2023 14:13 26m 25s