Skip to content

Actions: se-sic/vara-feature

Actions

VaRA Feature Library Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
38 workflow runs
38 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make vara-feature compatible to newer LLVM versions (#129) VaRA Feature Library Build #801: Commit 5b07a28 pushed by vulder
October 17, 2024 15:15 18m 16s vara-dev
vara-dev
October 17, 2024 15:15 18m 16s
Make vara-feature compatible to newer LLVM versions VaRA Feature Library Build #800: Pull request #129 synchronize by vulder
October 16, 2024 20:08 19m 23s f-RemoveLLVMOpt
f-RemoveLLVMOpt
October 16, 2024 20:08 19m 23s
Make vara-feature compatible to newer LLVM versions VaRA Feature Library Build #799: Pull request #129 opened by vulder
October 16, 2024 19:53 18m 54s f-RemoveLLVMOpt
f-RemoveLLVMOpt
October 16, 2024 19:53 18m 54s
Fixed an implicit type conversion from long to int64_t in unittest (#… VaRA Feature Library Build #798: Commit ec6a1bf pushed by boehmseb
April 23, 2024 10:55 19m 3s vara-dev
vara-dev
April 23, 2024 10:55 19m 3s
fixed type for NumericFeature Constructor VaRA Feature Library Build #797: Pull request #128 opened by Kallistos
April 23, 2024 10:25 19m 7s FixTypeConversionUnitTestsNumericFeatures
FixTypeConversionUnitTestsNumericFeatures
April 23, 2024 10:25 19m 7s
Add gui to edit FeatureModels VaRA Feature Library Build #796: Pull request #112 synchronize by Sinerum
March 5, 2024 10:40 21m 30s f-FeatureGui
f-FeatureGui
March 5, 2024 10:40 21m 30s
Add gui to edit FeatureModels VaRA Feature Library Build #795: Pull request #112 synchronize by Sinerum
December 5, 2023 11:44 21m 56s f-FeatureGui
f-FeatureGui
December 5, 2023 11:44 21m 56s
Add gui to edit FeatureModels VaRA Feature Library Build #794: Pull request #112 synchronize by Sinerum
December 5, 2023 11:08 15m 27s f-FeatureGui
f-FeatureGui
December 5, 2023 11:08 15m 27s
Add gui to edit FeatureModels VaRA Feature Library Build #793: Pull request #112 synchronize by Sinerum
December 5, 2023 09:10 15m 20s f-FeatureGui
f-FeatureGui
December 5, 2023 09:10 15m 20s
Add gui to edit FeatureModels VaRA Feature Library Build #792: Pull request #112 synchronize by Sinerum
December 5, 2023 09:05 15m 43s f-FeatureGui
f-FeatureGui
December 5, 2023 09:05 15m 43s
Add gui to edit FeatureModels VaRA Feature Library Build #791: Pull request #112 synchronize by Sinerum
November 21, 2023 14:41 15m 56s f-FeatureGui
f-FeatureGui
November 21, 2023 14:41 15m 56s
Add gui to edit FeatureModels VaRA Feature Library Build #790: Pull request #112 synchronize by Sinerum
November 21, 2023 13:55 15m 33s f-FeatureGui
f-FeatureGui
November 21, 2023 13:55 15m 33s
Add gui to edit FeatureModels VaRA Feature Library Build #789: Pull request #112 synchronize by Sinerum
November 20, 2023 12:15 16m 7s f-FeatureGui
f-FeatureGui
November 20, 2023 12:15 16m 7s
Add gui to edit FeatureModels VaRA Feature Library Build #788: Pull request #112 synchronize by Sinerum
November 20, 2023 12:08 15m 8s f-FeatureGui
f-FeatureGui
November 20, 2023 12:08 15m 8s
Add gui to edit FeatureModels VaRA Feature Library Build #787: Pull request #112 synchronize by Sinerum
November 20, 2023 12:07 15m 34s f-FeatureGui
f-FeatureGui
November 20, 2023 12:07 15m 34s
Add gui to edit FeatureModels VaRA Feature Library Build #786: Pull request #112 synchronize by Sinerum
November 20, 2023 11:45 15m 55s f-FeatureGui
f-FeatureGui
November 20, 2023 11:45 15m 55s
Fixes configuration generation (#126) VaRA Feature Library Build #785: Commit 864ff02 pushed by vulder
November 17, 2023 10:19 19m 6s vara-dev
vara-dev
November 17, 2023 10:19 19m 6s
Fix configuration generation VaRA Feature Library Build #784: Pull request #126 synchronize by vulder
November 17, 2023 09:51 19m 3s fix-configuration-generation
fix-configuration-generation
November 17, 2023 09:51 19m 3s
Add gui to edit FeatureModels VaRA Feature Library Build #783: Pull request #112 synchronize by vulder
November 17, 2023 09:47 15m 44s f-FeatureGui
f-FeatureGui
November 17, 2023 09:47 15m 44s
Updates CI to Ubuntu 22.04 (#127) VaRA Feature Library Build #782: Commit cd3c726 pushed by vulder
November 17, 2023 09:47 19m 41s vara-dev
vara-dev
November 17, 2023 09:47 19m 41s
Updates CI to Ubuntu 22.04 VaRA Feature Library Build #781: Pull request #127 synchronize by vulder
November 17, 2023 09:28 19m 1s f-update-ci
f-update-ci
November 17, 2023 09:28 19m 1s
Updates CI to Ubuntu 22.04 VaRA Feature Library Build #780: Pull request #127 opened by Sinerum
November 17, 2023 09:07 18m 55s f-update-ci
f-update-ci
November 17, 2023 09:07 18m 55s
Fix configuration generation VaRA Feature Library Build #779: Pull request #126 synchronize by boehmseb
November 9, 2023 09:36 32m 52s fix-configuration-generation
fix-configuration-generation
November 9, 2023 09:36 32m 52s
Fix configuration generation VaRA Feature Library Build #778: Pull request #126 synchronize by boehmseb
November 9, 2023 09:16 13m 9s fix-configuration-generation
fix-configuration-generation
November 9, 2023 09:16 13m 9s
Fix configuration generation VaRA Feature Library Build #777: Pull request #126 synchronize by boehmseb
November 8, 2023 17:10 13m 7s fix-configuration-generation
fix-configuration-generation
November 8, 2023 17:10 13m 7s