Skip to content

Actions: se-sic/VaRA-Tool-Suite

Actions

Python CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
165 workflow runs
165 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Adds support for trogon. Python CI #3567: Pull request #870 synchronize by boehmseb
January 6, 2024 15:25 5m 43s f-Trogon
f-Trogon
January 6, 2024 15:25 5m 43s