Skip to content

Actions: se-sic/vara-project-patches

Actions

pre-commit

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adds new patches pre-commit #8: Pull request #9 opened by vulder
August 29, 2023 18:21 34s f-NewPatches
f-NewPatches
August 29, 2023 18:21 34s
Fixes branch names pre-commit #7: Pull request #8 opened by vulder
July 24, 2023 10:24 24s f-Fix2
f-Fix2
July 24, 2023 10:24 24s
Fixes revision start for Synth context sense pre-commit #6: Pull request #7 opened by vulder
July 24, 2023 10:20 31s f-Fix
f-Fix
July 24, 2023 10:20 31s
Adds test patches for synth case studies pre-commit #5: Pull request #5 synchronize by vulder
July 24, 2023 10:07 29s f-StaticAnalysisMotivatedSynthBenchmarksImpl
f-StaticAnalysisMotivatedSynthBenchmarksImpl
July 24, 2023 10:07 29s
Adds test patches for synth case studies pre-commit #4: Pull request #5 synchronize by vulder
July 16, 2023 21:02 19s f-StaticAnalysisMotivatedSynthBenchmarksImpl
f-StaticAnalysisMotivatedSynthBenchmarksImpl
July 16, 2023 21:02 19s
Adds test patches for synth case studies pre-commit #3: Pull request #5 synchronize by vulder
July 16, 2023 19:49 20s f-StaticAnalysisMotivatedSynthBenchmarksImpl
f-StaticAnalysisMotivatedSynthBenchmarksImpl
July 16, 2023 19:49 20s
Integrates pre-commit with CI workflow pre-commit #2: Pull request #6 opened by vulder
July 16, 2023 19:18 26s f-IntegratesPreCommit
f-IntegratesPreCommit
July 16, 2023 19:18 26s
Adds test patches for synth case studies pre-commit #1: Pull request #5 synchronize by vulder
July 16, 2023 19:17 25s f-StaticAnalysisMotivatedSynthBenchmarksImpl
f-StaticAnalysisMotivatedSynthBenchmarksImpl
July 16, 2023 19:17 25s