Skip to content

Actions: ftsrg/theta

Actions

Sonar analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

XCFA-refactor 2023 [draft] Sonar analysis #383: Pull request #198 synchronize by leventeBajczi
November 12, 2023 17:44 3m 18s xcfa-refactor
xcfa-refactor
November 12, 2023 17:44 3m 18s
Fix typo Sonar analysis #382: Commit e223d9d pushed by leventeBajczi
November 12, 2023 17:44 3m 16s xcfa-refactor
xcfa-refactor
November 12, 2023 17:44 3m 16s
Adding smoke test to xcfa-cli Sonar analysis #381: Pull request #241 synchronize by leventeBajczi
November 12, 2023 17:37 8m 59s xcfa-refactor-benchexec-test
xcfa-refactor-benchexec-test
November 12, 2023 17:37 8m 59s
Fix typo Sonar analysis #380: Commit 6a4ac31 pushed by leventeBajczi
November 12, 2023 17:37 7m 24s xcfa-refactor-benchexec-test
xcfa-refactor-benchexec-test
November 12, 2023 17:37 7m 24s
XCFA-refactor 2023 [draft] Sonar analysis #379: Pull request #198 synchronize by leventeBajczi
November 12, 2023 16:57 14m 21s xcfa-refactor
xcfa-refactor
November 12, 2023 16:57 14m 21s
Added witness test, fixed witness printing Sonar analysis #378: Commit 113f274 pushed by leventeBajczi
November 12, 2023 16:57 15m 57s xcfa-refactor
xcfa-refactor
November 12, 2023 16:57 15m 57s
Adding smoke test to xcfa-cli Sonar analysis #377: Pull request #241 synchronize by leventeBajczi
November 12, 2023 16:55 10m 57s xcfa-refactor-benchexec-test
xcfa-refactor-benchexec-test
November 12, 2023 16:55 10m 57s
Fixed github.head_ref Sonar analysis #376: Commit 9342b6e pushed by leventeBajczi
November 12, 2023 16:55 17m 10s xcfa-refactor-benchexec-test
xcfa-refactor-benchexec-test
November 12, 2023 16:55 17m 10s
XCFA-refactor 2023 [draft] Sonar analysis #375: Pull request #198 synchronize by thetabotmaintainer bot
November 12, 2023 16:05 10m 3s xcfa-refactor
xcfa-refactor
November 12, 2023 16:05 10m 3s
Reformatted code Sonar analysis #374: Commit 7b0d21c pushed by thetabotmaintainer bot
November 12, 2023 16:05 9m 37s xcfa-refactor
xcfa-refactor
November 12, 2023 16:05 9m 37s
Adding smoke test to xcfa-cli Sonar analysis #373: Pull request #241 synchronize by leventeBajczi
November 12, 2023 15:57 9m 3s xcfa-refactor-benchexec-test
xcfa-refactor-benchexec-test
November 12, 2023 15:57 9m 3s
Added ghpages step to benchmark reporting Sonar analysis #372: Commit 110da78 pushed by leventeBajczi
November 12, 2023 15:57 12m 15s xcfa-refactor-benchexec-test
xcfa-refactor-benchexec-test
November 12, 2023 15:57 12m 15s
Adding smoke test to xcfa-cli Sonar analysis #371: Pull request #241 synchronize by leventeBajczi
November 12, 2023 15:28 8m 42s xcfa-refactor-benchexec-test
xcfa-refactor-benchexec-test
November 12, 2023 15:28 8m 42s
Final fixes Sonar analysis #370: Commit b02c854 pushed by leventeBajczi
November 12, 2023 15:28 16m 52s xcfa-refactor-benchexec-test
xcfa-refactor-benchexec-test
November 12, 2023 15:28 16m 52s
XCFA-refactor 2023 [draft] Sonar analysis #369: Pull request #198 synchronize by leventeBajczi
November 12, 2023 15:10 15m 8s xcfa-refactor
xcfa-refactor
November 12, 2023 15:10 15m 8s
Added ParseContext serialization Sonar analysis #368: Commit 80cb623 pushed by leventeBajczi
November 12, 2023 15:10 9m 24s xcfa-refactor
xcfa-refactor
November 12, 2023 15:10 9m 24s
Adding smoke test to xcfa-cli Sonar analysis #367: Pull request #241 synchronize by leventeBajczi
November 12, 2023 15:00 11m 35s xcfa-refactor-benchexec-test
xcfa-refactor-benchexec-test
November 12, 2023 15:00 11m 35s
Fixed various things, better formatting Sonar analysis #366: Commit 20e8a66 pushed by leventeBajczi
November 12, 2023 15:00 9m 39s xcfa-refactor-benchexec-test
xcfa-refactor-benchexec-test
November 12, 2023 15:00 9m 39s
Adding smoke test to xcfa-cli Sonar analysis #365: Pull request #241 synchronize by leventeBajczi
November 12, 2023 14:22 11m 26s xcfa-refactor-benchexec-test
xcfa-refactor-benchexec-test
November 12, 2023 14:22 11m 26s
Various fixes Sonar analysis #364: Commit 3f9d59e pushed by leventeBajczi
November 12, 2023 14:22 16m 6s xcfa-refactor-benchexec-test
xcfa-refactor-benchexec-test
November 12, 2023 14:22 16m 6s
XCFA-refactor 2023 [draft] Sonar analysis #363: Pull request #198 synchronize by leventeBajczi
November 12, 2023 13:24 9m 27s xcfa-refactor
xcfa-refactor
November 12, 2023 13:24 9m 27s
Added --debug flags to tests, specified search strat for CHC solving Sonar analysis #362: Commit eae7831 pushed by leventeBajczi
November 12, 2023 13:24 12m 40s xcfa-refactor
xcfa-refactor
November 12, 2023 13:24 12m 40s
Adding smoke test to xcfa-cli Sonar analysis #361: Pull request #241 synchronize by leventeBajczi
November 12, 2023 13:20 8m 59s xcfa-refactor-benchexec-test
xcfa-refactor-benchexec-test
November 12, 2023 13:20 8m 59s
Fixed syntax error in action Sonar analysis #360: Commit 48c8e44 pushed by leventeBajczi
November 12, 2023 13:20 9m 42s xcfa-refactor-benchexec-test
xcfa-refactor-benchexec-test
November 12, 2023 13:20 9m 42s
Adding smoke test to xcfa-cli Sonar analysis #359: Pull request #241 synchronize by leventeBajczi
November 12, 2023 13:10 9m 48s xcfa-refactor-benchexec-test
xcfa-refactor-benchexec-test
November 12, 2023 13:10 9m 48s
ProTip! You can narrow down the results and go further in time using created:<2023-11-12 or the other filters available.