Skip to content

Actions: ftsrg/theta

Actions

Sonar analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sonar.yml
1,673 workflow runs
1,673 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

K induction and IMC Sonar analysis #458: Pull request #243 synchronize by thetabotmaintainer bot
November 19, 2023 11:17 8m 11s xcfa-refactor-kind_imc
xcfa-refactor-kind_imc
November 19, 2023 11:17 8m 11s
Reformatted code Sonar analysis #457: Commit a1dfbaf pushed by thetabotmaintainer bot
November 19, 2023 11:17 8m 10s xcfa-refactor-kind_imc
xcfa-refactor-kind_imc
November 19, 2023 11:17 8m 10s
K induction and IMC Sonar analysis #456: Pull request #243 synchronize by leventeBajczi
November 19, 2023 11:13 3m 45s xcfa-refactor-kind_imc
xcfa-refactor-kind_imc
November 19, 2023 11:13 3m 45s
Added actions for packaging SV-COMP binaries Sonar analysis #455: Commit eefa4b8 pushed by leventeBajczi
November 19, 2023 11:13 3m 41s xcfa-refactor-kind_imc
xcfa-refactor-kind_imc
November 19, 2023 11:13 3m 41s
K induction and IMC Sonar analysis #454: Pull request #243 synchronize by leventeBajczi
November 17, 2023 19:58 9m 17s xcfa-refactor-kind_imc
xcfa-refactor-kind_imc
November 17, 2023 19:58 9m 17s
Reformatted code Sonar analysis #453: Commit f5c7b9e pushed by leventeBajczi
November 17, 2023 19:58 9m 42s xcfa-refactor-kind_imc
xcfa-refactor-kind_imc
November 17, 2023 19:58 9m 42s
Removed failing test case Sonar analysis #452: Commit 45a154f pushed by leventeBajczi
November 17, 2023 19:58 36s xcfa-refactor-parallel
xcfa-refactor-parallel
November 17, 2023 19:58 36s
XCFA-refactor 2023 [draft] Sonar analysis #451: Pull request #198 synchronize by thetabotmaintainer bot
November 17, 2023 16:07 11m 18s xcfa-refactor
xcfa-refactor
November 17, 2023 16:07 11m 18s
Reformatted code Sonar analysis #450: Commit c7a528f pushed by thetabotmaintainer bot
November 17, 2023 16:04 10m 8s xcfa-refactor
xcfa-refactor
November 17, 2023 16:04 10m 8s
XCFA-refactor 2023 [draft] Sonar analysis #449: Pull request #198 synchronize by leventeBajczi
November 17, 2023 16:01 6m 10s xcfa-refactor
xcfa-refactor
November 17, 2023 16:01 6m 10s
Changed sed command in action Sonar analysis #448: Commit 6a7667d pushed by leventeBajczi
November 17, 2023 16:00 3m 57s xcfa-refactor
xcfa-refactor
November 17, 2023 16:00 3m 57s
XCFA-refactor 2023 [draft] Sonar analysis #447: Pull request #198 synchronize by leventeBajczi
November 17, 2023 15:58 2m 43s xcfa-refactor
xcfa-refactor
November 17, 2023 15:58 2m 43s
Fixed tests Sonar analysis #446: Commit 26d2943 pushed by leventeBajczi
November 17, 2023 15:58 2m 44s xcfa-refactor
xcfa-refactor
November 17, 2023 15:58 2m 44s
XCFA-refactor 2023 [draft] Sonar analysis #445: Pull request #198 synchronize by leventeBajczi
November 17, 2023 15:13 5m 59s xcfa-refactor
xcfa-refactor
November 17, 2023 15:13 5m 59s
Fixed havoc step Sonar analysis #444: Commit a48e214 pushed by leventeBajczi
November 17, 2023 15:13 6m 10s xcfa-refactor
xcfa-refactor
November 17, 2023 15:13 6m 10s
XCFA-refactor 2023 [draft] Sonar analysis #443: Pull request #198 synchronize by leventeBajczi
November 17, 2023 14:48 6m 2s xcfa-refactor
xcfa-refactor
November 17, 2023 14:48 6m 2s
Some fixes based on bechmarking Sonar analysis #442: Commit dc427f6 pushed by leventeBajczi
November 17, 2023 14:48 6m 27s xcfa-refactor
xcfa-refactor
November 17, 2023 14:48 6m 27s
K induction and IMC Sonar analysis #441: Pull request #243 synchronize by thetabotmaintainer bot
November 17, 2023 00:00 8m 57s xcfa-refactor-kind_imc
xcfa-refactor-kind_imc
November 17, 2023 00:00 8m 57s
Reformatted code Sonar analysis #440: Commit 1361f2f pushed by thetabotmaintainer bot
November 17, 2023 00:00 10m 5s xcfa-refactor-kind_imc
xcfa-refactor-kind_imc
November 17, 2023 00:00 10m 5s
K induction and IMC Sonar analysis #439: Pull request #243 synchronize by leventeBajczi
November 16, 2023 20:33 9m 4s xcfa-refactor-kind_imc
xcfa-refactor-kind_imc
November 16, 2023 20:33 9m 4s
Fixed tests Sonar analysis #438: Commit badcc43 pushed by leventeBajczi
November 16, 2023 20:33 9m 47s xcfa-refactor-kind_imc
xcfa-refactor-kind_imc
November 16, 2023 20:33 9m 47s
K induction and IMC Sonar analysis #437: Pull request #243 synchronize by leventeBajczi
November 16, 2023 18:33 7m 34s xcfa-refactor-kind_imc
xcfa-refactor-kind_imc
November 16, 2023 18:33 7m 34s
Final fixups Sonar analysis #436: Commit 9db1fda pushed by leventeBajczi
November 16, 2023 18:33 7m 50s xcfa-refactor-kind_imc
xcfa-refactor-kind_imc
November 16, 2023 18:33 7m 50s
K induction and IMC Sonar analysis #435: Pull request #243 synchronize by leventeBajczi
November 16, 2023 15:59 9m 1s xcfa-refactor-kind_imc
xcfa-refactor-kind_imc
November 16, 2023 15:59 9m 1s
Bugfixes, kind sanitization Sonar analysis #434: Commit 757c652 pushed by leventeBajczi
November 16, 2023 15:59 9m 42s xcfa-refactor-kind_imc
xcfa-refactor-kind_imc
November 16, 2023 15:59 9m 42s
ProTip! You can narrow down the results and go further in time using created:<2023-11-16 or the other filters available.