Skip to content

Actions: se-sic/VaRA-Tool-Suite

Docs CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
288 workflow run results
288 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Draft IDE experiment
Docs CI #937: Pull request #681 synchronize by fabianbs96
April 16, 2024 12:03 2m 34s f-IterIDE
April 16, 2024 12:03 2m 34s
Draft IDE experiment
Docs CI #936: Pull request #681 synchronize by fabianbs96
April 3, 2024 13:29 3m 3s f-IterIDE
April 3, 2024 13:29 3m 3s
Adds lock to FM provider
Docs CI #935: Pull request #882 synchronize by LuAbelt
April 3, 2024 07:45 1m 22s f-FM-Provider-Lock
April 3, 2024 07:45 1m 22s
Adds lock to FM provider
Docs CI #934: Pull request #882 synchronize by LuAbelt
March 28, 2024 14:09 3m 35s f-FM-Provider-Lock
March 28, 2024 14:09 3m 35s
Adds lock to FM provider
Docs CI #933: Pull request #882 opened by LuAbelt
March 28, 2024 14:03 1m 34s f-FM-Provider-Lock
March 28, 2024 14:03 1m 34s
Updated documentation for CLion Setup
Docs CI #932: Pull request #881 synchronize by LuAbelt
March 28, 2024 13:46 2m 22s f-CLion-Setup-Doc
March 28, 2024 13:46 2m 22s
Updated documentation for CLion Setup
Docs CI #931: Pull request #881 opened by LuAbelt
March 28, 2024 13:45 3m 3s f-CLion-Setup-Doc
March 28, 2024 13:45 3m 3s
Add the possibility to view the status of case-studies in the gui
Docs CI #930: Pull request #880 opened by Sinerum
March 27, 2024 11:55 2m 52s f-cs-gui-status
March 27, 2024 11:55 2m 52s
Draft IDE experiment
Docs CI #929: Pull request #681 synchronize by fabianbs96
March 27, 2024 09:58 1m 24s f-IterIDE
March 27, 2024 09:58 1m 24s
Draft IDE experiment
Docs CI #928: Pull request #681 synchronize by fabianbs96
March 27, 2024 09:47 1m 33s f-IterIDE
March 27, 2024 09:47 1m 33s
Adds a tool for creating feature source annotations.
Docs CI #927: Pull request #879 synchronize by boehmseb
March 18, 2024 16:25 2m 43s f-FeatureTool
March 18, 2024 16:25 2m 43s
Adds a tool for creating feature source annotations.
Docs CI #926: Pull request #879 synchronize by boehmseb
March 18, 2024 16:23 2m 20s f-FeatureTool
March 18, 2024 16:23 2m 20s
Adds a tool for creating feature source annotations.
Docs CI #925: Pull request #879 synchronize by boehmseb
March 18, 2024 16:11 2m 27s f-FeatureTool
March 18, 2024 16:11 2m 27s
Adds a tool for creating feature source annotations.
Docs CI #924: Pull request #879 opened by boehmseb
March 18, 2024 16:03 1m 30s f-FeatureTool
March 18, 2024 16:03 1m 30s
Add extra flags to PicoSATLoadTime Project
Docs CI #922: Pull request #877 opened by LuAbelt
March 11, 2024 08:55 2m 26s f-Picosat-Adaptions
March 11, 2024 08:55 2m 26s
Add experiment CompareASTBlame
Docs CI #921: Pull request #876 synchronize by LeonievonMann
February 22, 2024 08:38 2m 17s f-ASTBlameComparison
February 22, 2024 08:38 2m 17s
Add alternative Picosat Project
Docs CI #920: Pull request #872 synchronize by vulder
February 20, 2024 20:29 2m 15s f-PicoSat-vara
February 20, 2024 20:29 2m 15s
Runs but confusing result
Docs CI #919: Pull request #868 synchronize by TheOneAndOnlyTobi
February 20, 2024 20:03 3m 13s tobiBachelor
February 20, 2024 20:03 3m 13s
Add experiment CompareASTBlame
Docs CI #918: Pull request #876 synchronize by LeonievonMann
February 20, 2024 11:07 2m 21s f-ASTBlameComparison
February 20, 2024 11:07 2m 21s
Add alternative Picosat Project
Docs CI #917: Pull request #872 synchronize by LuAbelt
February 19, 2024 13:52 2m 42s f-PicoSat-vara
February 19, 2024 13:52 2m 42s
Add alternative Picosat Project
Docs CI #916: Pull request #872 synchronize by LuAbelt
February 19, 2024 13:50 2m 47s f-PicoSat-vara
February 19, 2024 13:50 2m 47s
Add alternative Picosat Project
Docs CI #915: Pull request #872 synchronize by LuAbelt
February 13, 2024 08:52 2m 53s f-PicoSat-vara
February 13, 2024 08:52 2m 53s