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

Added lf-path check Sonar analysis #561: Commit dc198c6 pushed by leventeBajczi
February 7, 2024 13:46 10m 21s xcfa-refactor
xcfa-refactor
February 7, 2024 13:46 10m 21s
Merge pull request #248 from csanadtelbisz/xcfa-coi-benchmark Sonar analysis #560: Commit 6255313 pushed by leventeBajczi
January 18, 2024 12:35 6m 30s spin24
spin24
January 18, 2024 12:35 6m 30s
Merge pull request #248 from csanadtelbisz/xcfa-coi-benchmark Sonar analysis #559: Commit 6255313 pushed by csanadtelbisz
January 18, 2024 10:01 5m 53s xcfa-coi-spin
xcfa-coi-spin
January 18, 2024 10:01 5m 53s
Xcfa COI SPIN artifact code Sonar analysis #558: Pull request #248 opened by csanadtelbisz
January 18, 2024 10:01 43s csanadtelbisz:xcfa-coi-benchmark
csanadtelbisz:xcfa-coi-benchmark
January 18, 2024 10:01 43s
code formatting Sonar analysis #557: Commit 2c863d7 pushed by csanadtelbisz
January 18, 2024 09:59 8m 17s xcfa-coi-spin
xcfa-coi-spin
January 18, 2024 09:59 8m 17s
XCFA-refactor 2023 [draft] Sonar analysis #556: Pull request #198 synchronize by leventeBajczi
January 10, 2024 21:53 10m 45s xcfa-refactor
xcfa-refactor
January 10, 2024 21:53 10m 45s
Fixed configs with help, etc Sonar analysis #555: Commit 43d3ac9 pushed by leventeBajczi
January 10, 2024 21:53 9m 38s xcfa-refactor
xcfa-refactor
January 10, 2024 21:53 9m 38s
XCFA-refactor 2023 [draft] Sonar analysis #554: Pull request #198 synchronize by leventeBajczi
January 7, 2024 20:18 9m 43s xcfa-refactor
xcfa-refactor
January 7, 2024 20:18 9m 43s
Rename Theta to theta in downloaded zip Sonar analysis #553: Commit b96a7cf pushed by leventeBajczi
January 7, 2024 20:17 9m 46s xcfa-refactor
xcfa-refactor
January 7, 2024 20:17 9m 46s
XCFA-refactor 2023 [draft] Sonar analysis #552: Pull request #198 synchronize by leventeBajczi
January 7, 2024 20:05 9m 29s xcfa-refactor
xcfa-refactor
January 7, 2024 20:05 9m 29s
Updated version in action Sonar analysis #551: Commit f090743 pushed by leventeBajczi
January 7, 2024 20:05 9m 9s xcfa-refactor
xcfa-refactor
January 7, 2024 20:05 9m 9s
XCFA-refactor 2023 [draft] Sonar analysis #550: Pull request #198 synchronize by leventeBajczi
January 7, 2024 19:43 9m 41s xcfa-refactor
xcfa-refactor
January 7, 2024 19:43 9m 41s
More meaningful error message for smtlib error Sonar analysis #549: Commit 4dcde47 pushed by leventeBajczi
January 7, 2024 19:43 10m 9s xcfa-refactor
xcfa-refactor
January 7, 2024 19:43 10m 9s
XCFA-refactor 2023 [draft] Sonar analysis #548: Pull request #198 synchronize by leventeBajczi
January 7, 2024 17:45 9m 44s xcfa-refactor
xcfa-refactor
January 7, 2024 17:45 9m 44s
Downloaded theta.xml Sonar analysis #547: Commit be2e4e8 pushed by leventeBajczi
January 7, 2024 17:45 10m 13s xcfa-refactor
xcfa-refactor
January 7, 2024 17:45 10m 13s
XCFA-refactor 2023 [draft] Sonar analysis #546: Pull request #198 synchronize by leventeBajczi
January 7, 2024 17:23 9m 47s xcfa-refactor
xcfa-refactor
January 7, 2024 17:23 9m 47s
Fixed backwards compatibility with toolinfo Sonar analysis #545: Commit 2964798 pushed by leventeBajczi
January 7, 2024 17:23 9m 55s xcfa-refactor
xcfa-refactor
January 7, 2024 17:23 9m 55s
XCFA-refactor 2023 [draft] Sonar analysis #544: Pull request #198 synchronize by thetabotmaintainer bot
January 7, 2024 17:04 7m 46s xcfa-refactor
xcfa-refactor
January 7, 2024 17:04 7m 46s
Reapplied copyright Sonar analysis #543: Commit 3388c76 pushed by thetabotmaintainer bot
January 7, 2024 17:04 8m 14s xcfa-refactor
xcfa-refactor
January 7, 2024 17:04 8m 14s
XCFA-refactor 2023 [draft] Sonar analysis #542: Pull request #198 synchronize by thetabotmaintainer bot
January 7, 2024 17:04 49s xcfa-refactor
xcfa-refactor
January 7, 2024 17:04 49s
Reformatted code Sonar analysis #541: Commit 6079958 pushed by thetabotmaintainer bot
January 7, 2024 17:04 48s xcfa-refactor
xcfa-refactor
January 7, 2024 17:04 48s
XCFA-refactor 2023 [draft] Sonar analysis #540: Pull request #198 synchronize by leventeBajczi
January 7, 2024 16:59 4m 31s xcfa-refactor
xcfa-refactor
January 7, 2024 16:59 4m 31s
Added entries to gitignore Sonar analysis #539: Commit 139edf5 pushed by leventeBajczi
January 7, 2024 16:59 4m 27s xcfa-refactor
xcfa-refactor
January 7, 2024 16:59 4m 27s
XCFA-refactor 2023 [draft] Sonar analysis #538: Pull request #198 synchronize by leventeBajczi
January 7, 2024 16:58 1m 20s xcfa-refactor
xcfa-refactor
January 7, 2024 16:58 1m 20s
Fixed some tests Sonar analysis #537: Commit c5677d6 pushed by leventeBajczi
January 7, 2024 16:58 1m 20s xcfa-refactor
xcfa-refactor
January 7, 2024 16:58 1m 20s
ProTip! You can narrow down the results and go further in time using created:<2024-01-07 or the other filters available.