Skip to content

Actions: se-sic/VaRA-Tool-Suite

Actions

Python CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
316 workflow run results
316 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add alternative Picosat Project Python CI #3592: Pull request #872 synchronize by LuAbelt
February 7, 2024 09:18 6m 3s f-PicoSat-vara
f-PicoSat-vara
February 7, 2024 09:18 6m 3s
Add alternative Picosat Project Python CI #3591: Pull request #872 synchronize by LuAbelt
February 6, 2024 15:41 6m 6s f-PicoSat-vara
f-PicoSat-vara
February 6, 2024 15:41 6m 6s
Add experiment CompareASTBlame Python CI #3590: Pull request #876 synchronize by LeonievonMann
February 4, 2024 16:03 7m 0s f-ASTBlameComparison
f-ASTBlameComparison
February 4, 2024 16:03 7m 0s
Add experiment CompareASTBlame Python CI #3589: Pull request #876 synchronize by LeonievonMann
February 3, 2024 12:11 6m 45s f-ASTBlameComparison
f-ASTBlameComparison
February 3, 2024 12:11 6m 45s
Add experiment CompareASTBlame Python CI #3588: Pull request #876 opened by LeonievonMann
February 2, 2024 15:06 5m 49s f-ASTBlameComparison
f-ASTBlameComparison
February 2, 2024 15:06 5m 49s
Less fetching for PatchProvider (#875) Python CI #3587: Commit 2d42787 pushed by boehmseb
February 2, 2024 09:33 6m 38s vara-dev
vara-dev
February 2, 2024 09:33 6m 38s
Less fetching for PatchProvider Python CI #3586: Pull request #875 opened by LuAbelt
January 31, 2024 14:31 6m 52s f-PatchProviderFetch
f-PatchProviderFetch
January 31, 2024 14:31 6m 52s
Reworks the table to group together similar categories Python CI #3585: Pull request #873 synchronize by vulder
January 30, 2024 14:38 7m 32s f-GroupedTable
f-GroupedTable
January 30, 2024 14:38 7m 32s
Implements generator to automatically generate a performance precision plot per case study Python CI #3584: Pull request #874 synchronize by vulder
January 30, 2024 14:33 7m 33s f-SingleCSPlots
f-SingleCSPlots
January 30, 2024 14:33 7m 33s
Reworks the table to group together similar categories Python CI #3583: Pull request #873 synchronize by vulder
January 30, 2024 14:31 6m 59s f-GroupedTable
f-GroupedTable
January 30, 2024 14:31 6m 59s
Add alternative Picosat Project Python CI #3582: Pull request #872 synchronize by vulder
January 30, 2024 14:30 6m 2s f-PicoSat-vara
f-PicoSat-vara
January 30, 2024 14:30 6m 2s
Implements feature based perf instrumentation comparision (#806) Python CI #3581: Commit e126c51 pushed by vulder
January 30, 2024 14:28 7m 9s vara-dev
vara-dev
January 30, 2024 14:28 7m 9s
Add alternative Picosat Project Python CI #3580: Pull request #872 synchronize by LuAbelt
January 30, 2024 13:03 7m 41s f-PicoSat-vara
f-PicoSat-vara
January 30, 2024 13:03 7m 41s
Add alternative Picosat Project Python CI #3579: Pull request #872 opened by LuAbelt
January 30, 2024 13:03 7m 52s f-PicoSat-vara
f-PicoSat-vara
January 30, 2024 13:03 7m 52s
Implements feature based perf instrumentation comparision Python CI #3578: Pull request #806 synchronize by vulder
January 30, 2024 12:51 6m 13s f-StaticAnalysisMotivatedSynthBenchmarksImpl
f-StaticAnalysisMotivatedSynthBenchmarksImpl
January 30, 2024 12:51 6m 13s
Implements feature based perf instrumentation comparision Python CI #3577: Pull request #806 synchronize by vulder
January 30, 2024 12:07 6m 58s f-StaticAnalysisMotivatedSynthBenchmarksImpl
f-StaticAnalysisMotivatedSynthBenchmarksImpl
January 30, 2024 12:07 6m 58s
Runs but confusing result Python CI #3576: Pull request #868 synchronize by TheOneAndOnlyTobi
January 25, 2024 12:56 7m 16s tobiBachelor
tobiBachelor
January 25, 2024 12:56 7m 16s
Implements feature based perf instrumentation comparision Python CI #3575: Pull request #806 synchronize by vulder
January 25, 2024 09:48 5m 47s f-StaticAnalysisMotivatedSynthBenchmarksImpl
f-StaticAnalysisMotivatedSynthBenchmarksImpl
January 25, 2024 09:48 5m 47s
Implements feature based perf instrumentation comparision Python CI #3574: Pull request #806 synchronize by vulder
January 25, 2024 09:34 7m 28s f-StaticAnalysisMotivatedSynthBenchmarksImpl
f-StaticAnalysisMotivatedSynthBenchmarksImpl
January 25, 2024 09:34 7m 28s
Implements feature based perf instrumentation comparision Python CI #3573: Pull request #806 synchronize by boehmseb
January 25, 2024 09:33 6m 32s f-StaticAnalysisMotivatedSynthBenchmarksImpl
f-StaticAnalysisMotivatedSynthBenchmarksImpl
January 25, 2024 09:33 6m 32s
Runs but confusing result Python CI #3572: Pull request #868 synchronize by vulder
January 25, 2024 06:52 6m 26s tobiBachelor
tobiBachelor
January 25, 2024 06:52 6m 26s
Implements feature based perf instrumentation comparision Python CI #3571: Pull request #806 synchronize by vulder
January 23, 2024 17:51 7m 37s f-StaticAnalysisMotivatedSynthBenchmarksImpl
f-StaticAnalysisMotivatedSynthBenchmarksImpl
January 23, 2024 17:51 7m 37s
Implements feature based perf instrumentation comparision Python CI #3570: Pull request #806 synchronize by vulder
January 23, 2024 16:31 7m 26s f-StaticAnalysisMotivatedSynthBenchmarksImpl
f-StaticAnalysisMotivatedSynthBenchmarksImpl
January 23, 2024 16:31 7m 26s
Implements feature based perf instrumentation comparision Python CI #3569: Pull request #806 synchronize by vulder
January 23, 2024 15:25 7m 30s f-StaticAnalysisMotivatedSynthBenchmarksImpl
f-StaticAnalysisMotivatedSynthBenchmarksImpl
January 23, 2024 15:25 7m 30s
Adds support for trogon. Python CI #3568: Pull request #870 synchronize by boehmseb
January 10, 2024 07:47 7m 56s f-Trogon
f-Trogon
January 10, 2024 07:47 7m 56s