Skip to content

Actions: se-sic/vara-feature

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
19 workflow run results
19 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update github actions versions. (#137) pre-commit #105: Pull request #139 opened by Kallistos
April 10, 2025 08:51 32s vara-dev
vara-dev
April 10, 2025 08:51 32s
VaRA Feature Library Build VaRA Feature Library Build #837: by boehmseb
April 9, 2025 13:29 19m 50s vara-dev
vara-dev
April 9, 2025 13:29 19m 50s
VaRA Feature Build and Deploy Docs VaRA Feature Build and Deploy Docs #97: by boehmseb
April 9, 2025 13:29 1m 21s vara-dev
vara-dev
April 9, 2025 13:29 1m 21s
Updates csv-parser and z3 (#136) VaRA Feature Library Build #834: Commit 3d69a9d pushed by boehmseb
April 9, 2025 08:18 20m 17s vara-dev
vara-dev
April 9, 2025 08:18 20m 17s
Updates csv-parser and z3 (#136) VaRA Feature Build and Deploy Docs #96: Commit 3d69a9d pushed by boehmseb
April 9, 2025 08:18 1m 33s vara-dev
vara-dev
April 9, 2025 08:18 1m 33s
Add python bindings for configurations (#125) VaRA Feature Build and Deploy Docs #95: Commit 7968883 pushed by vulder
March 3, 2025 18:49 1m 14s vara-dev
vara-dev
March 3, 2025 18:49 1m 14s
Add python bindings for configurations (#125) VaRA Feature Library Build #828: Commit 7968883 pushed by vulder
March 3, 2025 18:49 19m 11s vara-dev
vara-dev
March 3, 2025 18:49 19m 11s
Updates external dependencies (#133) VaRA Feature Library Build #815: Commit e01fb1b pushed by vulder
February 13, 2025 07:50 20m 2s vara-dev
vara-dev
February 13, 2025 07:50 20m 2s
Updates external dependencies (#133) VaRA Feature Build and Deploy Docs #94: Commit e01fb1b pushed by vulder
February 13, 2025 07:50 1m 34s vara-dev
vara-dev
February 13, 2025 07:50 1m 34s
Updates min cmake version and testing setup (#132) VaRA Feature Build and Deploy Docs #93: Commit df29f41 pushed by vulder
February 13, 2025 07:29 1m 22s vara-dev
vara-dev
February 13, 2025 07:29 1m 22s
Updates min cmake version and testing setup (#132) VaRA Feature Library Build #813: Commit df29f41 pushed by vulder
February 13, 2025 07:29 19m 49s vara-dev
vara-dev
February 13, 2025 07:29 19m 49s
Updates csv-parser library (#130) VaRA Feature Library Build #807: Commit 8405982 pushed by vulder
February 6, 2025 18:47 18m 59s vara-dev
vara-dev
February 6, 2025 18:47 18m 59s
Updates csv-parser library (#130) VaRA Feature Build and Deploy Docs #92: Commit 8405982 pushed by vulder
February 6, 2025 18:47 1m 20s vara-dev
vara-dev
February 6, 2025 18:47 1m 20s
Fixes wrong build setup for Z3 and unittest blunder (#131) VaRA Feature Build and Deploy Docs #91: Commit 177fe3f pushed by vulder
February 6, 2025 10:53 1m 24s vara-dev
vara-dev
February 6, 2025 10:53 1m 24s
Fixes wrong build setup for Z3 and unittest blunder (#131) VaRA Feature Library Build #805: Commit 177fe3f pushed by vulder
February 6, 2025 10:53 19m 38s vara-dev
vara-dev
February 6, 2025 10:53 19m 38s
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 (#129) VaRA Feature Build and Deploy Docs #90: Commit 5b07a28 pushed by vulder
October 17, 2024 15:15 1m 17s vara-dev
vara-dev
October 17, 2024 15:15 1m 17s
Fixed an implicit type conversion from long to int64_t in unittest (#… VaRA Feature Build and Deploy Docs #89: Commit ec6a1bf pushed by boehmseb
April 23, 2024 10:55 1m 50s vara-dev
vara-dev
April 23, 2024 10:55 1m 50s
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