Skip to content

Actions: se-sic/VaRA-Tool-Suite

Actions

pre-commit

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pre-commit.yml
633 workflow runs
633 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Implements feature based perf instrumentation comparision pre-commit #2676: Pull request #806 synchronize by vulder
July 16, 2023 20:42 25s f-StaticAnalysisMotivatedSynthBenchmarksImpl
f-StaticAnalysisMotivatedSynthBenchmarksImpl
July 16, 2023 20:42 25s
Implements feature based perf instrumentation comparision pre-commit #2675: Pull request #806 synchronize by vulder
July 16, 2023 19:36 28s f-StaticAnalysisMotivatedSynthBenchmarksImpl
f-StaticAnalysisMotivatedSynthBenchmarksImpl
July 16, 2023 19:36 28s
Implements feature based perf instrumentation comparision pre-commit #2674: Pull request #806 synchronize by vulder
July 16, 2023 19:36 22s f-StaticAnalysisMotivatedSynthBenchmarksImpl
f-StaticAnalysisMotivatedSynthBenchmarksImpl
July 16, 2023 19:36 22s
Implements feature based perf instrumentation comparision pre-commit #2673: Pull request #806 synchronize by vulder
July 16, 2023 19:34 19s f-StaticAnalysisMotivatedSynthBenchmarksImpl
f-StaticAnalysisMotivatedSynthBenchmarksImpl
July 16, 2023 19:34 19s
Implements feature based perf instrumentation comparision pre-commit #2672: Pull request #806 synchronize by vulder
July 16, 2023 16:59 50s f-StaticAnalysisMotivatedSynthBenchmarksImpl
f-StaticAnalysisMotivatedSynthBenchmarksImpl
July 16, 2023 16:59 50s
Patch Provider Infrastructure pre-commit #2671: Pull request #804 synchronize by LuAbelt
July 15, 2023 22:38 34s f-PatchFiles
f-PatchFiles
July 15, 2023 22:38 34s
Patch Provider Infrastructure pre-commit #2670: Pull request #804 synchronize by LuAbelt
July 15, 2023 22:32 37s f-PatchFiles
f-PatchFiles
July 15, 2023 22:32 37s
Patch Provider Infrastructure pre-commit #2669: Pull request #804 synchronize by LuAbelt
July 15, 2023 21:57 45s f-PatchFiles
f-PatchFiles
July 15, 2023 21:57 45s
ProTip! You can narrow down the results and go further in time using created:<2023-07-15 or the other filters available.