Skip to content

Actions: se-sic/vara-feature

Actions

pre-commit

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make vara-feature compatible to newer LLVM versions pre-commit #74: Pull request #129 synchronize by vulder
October 16, 2024 20:08 31s f-RemoveLLVMOpt
f-RemoveLLVMOpt
October 16, 2024 20:08 31s
Make vara-feature compatible to newer LLVM versions pre-commit #73: Pull request #129 opened by vulder
October 16, 2024 19:53 2m 47s f-RemoveLLVMOpt
f-RemoveLLVMOpt
October 16, 2024 19:53 2m 47s
fixed type for NumericFeature Constructor pre-commit #72: Pull request #128 opened by Kallistos
April 23, 2024 10:25 36s FixTypeConversionUnitTestsNumericFeatures
FixTypeConversionUnitTestsNumericFeatures
April 23, 2024 10:25 36s
Add gui to edit FeatureModels pre-commit #71: Pull request #112 synchronize by Sinerum
March 5, 2024 10:40 38s f-FeatureGui
f-FeatureGui
March 5, 2024 10:40 38s
Add gui to edit FeatureModels pre-commit #70: Pull request #112 synchronize by Sinerum
December 5, 2023 11:44 25s f-FeatureGui
f-FeatureGui
December 5, 2023 11:44 25s
Add gui to edit FeatureModels pre-commit #69: Pull request #112 synchronize by Sinerum
December 5, 2023 11:08 23s f-FeatureGui
f-FeatureGui
December 5, 2023 11:08 23s
Add gui to edit FeatureModels pre-commit #68: Pull request #112 synchronize by Sinerum
December 5, 2023 09:10 27s f-FeatureGui
f-FeatureGui
December 5, 2023 09:10 27s
Add gui to edit FeatureModels pre-commit #67: Pull request #112 synchronize by Sinerum
December 5, 2023 09:05 48s f-FeatureGui
f-FeatureGui
December 5, 2023 09:05 48s
Add gui to edit FeatureModels pre-commit #66: Pull request #112 synchronize by Sinerum
November 21, 2023 14:41 23s f-FeatureGui
f-FeatureGui
November 21, 2023 14:41 23s
Add gui to edit FeatureModels pre-commit #65: Pull request #112 synchronize by Sinerum
November 21, 2023 13:55 22s f-FeatureGui
f-FeatureGui
November 21, 2023 13:55 22s
Add gui to edit FeatureModels pre-commit #64: Pull request #112 synchronize by Sinerum
November 20, 2023 12:15 20s f-FeatureGui
f-FeatureGui
November 20, 2023 12:15 20s
Add gui to edit FeatureModels pre-commit #63: Pull request #112 synchronize by Sinerum
November 20, 2023 12:08 34s f-FeatureGui
f-FeatureGui
November 20, 2023 12:08 34s
Add gui to edit FeatureModels pre-commit #62: Pull request #112 synchronize by Sinerum
November 20, 2023 12:07 23s f-FeatureGui
f-FeatureGui
November 20, 2023 12:07 23s
Add gui to edit FeatureModels pre-commit #61: Pull request #112 synchronize by Sinerum
November 20, 2023 11:45 20s f-FeatureGui
f-FeatureGui
November 20, 2023 11:45 20s
Fix configuration generation pre-commit #60: Pull request #126 synchronize by vulder
November 17, 2023 09:51 35s fix-configuration-generation
fix-configuration-generation
November 17, 2023 09:51 35s
Add gui to edit FeatureModels pre-commit #59: Pull request #112 synchronize by vulder
November 17, 2023 09:47 43s f-FeatureGui
f-FeatureGui
November 17, 2023 09:47 43s
Updates CI to Ubuntu 22.04 pre-commit #58: Pull request #127 synchronize by vulder
November 17, 2023 09:28 41s f-update-ci
f-update-ci
November 17, 2023 09:28 41s
Updates CI to Ubuntu 22.04 pre-commit #57: Pull request #127 opened by Sinerum
November 17, 2023 09:07 41s f-update-ci
f-update-ci
November 17, 2023 09:07 41s
Fix configuration generation pre-commit #56: Pull request #126 synchronize by boehmseb
November 9, 2023 09:36 28s fix-configuration-generation
fix-configuration-generation
November 9, 2023 09:36 28s
Fix configuration generation pre-commit #55: Pull request #126 synchronize by boehmseb
November 9, 2023 09:16 50s fix-configuration-generation
fix-configuration-generation
November 9, 2023 09:16 50s
Fix configuration generation pre-commit #54: Pull request #126 synchronize by boehmseb
November 8, 2023 17:10 32s fix-configuration-generation
fix-configuration-generation
November 8, 2023 17:10 32s
Add gui to edit FeatureModels pre-commit #53: Pull request #112 synchronize by Sinerum
October 30, 2023 14:45 27s f-FeatureGui
f-FeatureGui
October 30, 2023 14:45 27s
Add gui to edit FeatureModels pre-commit #52: Pull request #112 synchronize by Sinerum
October 30, 2023 14:44 43s f-FeatureGui
f-FeatureGui
October 30, 2023 14:44 43s
Add python bindings for configurations pre-commit #51: Pull request #125 synchronize by danjujan
October 23, 2023 11:31 30s jan-dev
jan-dev
October 23, 2023 11:31 30s
Fix configuration generation pre-commit #50: Pull request #126 synchronize by boehmseb
October 23, 2023 11:15 21s fix-configuration-generation
fix-configuration-generation
October 23, 2023 11:15 21s