Skip to content

Actions: se-sic/vara-project-patches

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adds patches for performance interaction case studies pre-commit #58: Pull request #24 synchronize by boehmseb
May 30, 2024 11:49 15s f-PerformanceRegions
f-PerformanceRegions
May 30, 2024 11:49 15s
Adds patches for performance interaction case studies pre-commit #57: Pull request #24 opened by boehmseb
May 30, 2024 11:48 28s f-PerformanceRegions
f-PerformanceRegions
May 30, 2024 11:48 28s
HyTeg adaptions to maxLevel pre-commit #56: Pull request #23 synchronize by LuAbelt
April 23, 2024 11:18 20s f-HyTeg-p1-maxlevel
f-HyTeg-p1-maxlevel
April 23, 2024 11:18 20s
HyTeg adaptions to maxLevel pre-commit #55: Pull request #23 opened by LuAbelt
April 23, 2024 11:17 23s f-HyTeg-p1-maxlevel
f-HyTeg-p1-maxlevel
April 23, 2024 11:17 23s
Real world regressions for Dune and HyTeg pre-commit #54: Pull request #22 synchronize by LuAbelt
April 23, 2024 11:14 20s f-RealWorld-Regressions
f-RealWorld-Regressions
April 23, 2024 11:14 20s
Real world regressions for Dune and HyTeg pre-commit #53: Pull request #22 opened by LuAbelt
April 23, 2024 11:13 25s f-RealWorld-Regressions
f-RealWorld-Regressions
April 23, 2024 11:13 25s
Added Picosat synthetic regression patches pre-commit #52: Pull request #21 synchronize by LuAbelt
February 19, 2024 15:54 21s picosat
picosat
February 19, 2024 15:54 21s
Added Picosat synthetic regression patches pre-commit #51: Pull request #21 synchronize by LuAbelt
February 6, 2024 15:42 17s picosat
picosat
February 6, 2024 15:42 17s
Added Picosat synthetic regression patches pre-commit #50: Pull request #21 synchronize by LuAbelt
February 6, 2024 15:40 22s picosat
picosat
February 6, 2024 15:40 22s
Added Picosat synthetic regression patches pre-commit #49: Pull request #21 synchronize by LuAbelt
February 6, 2024 15:30 17s picosat
picosat
February 6, 2024 15:30 17s
Added Picosat synthetic regression patches pre-commit #48: Pull request #21 opened by LuAbelt
February 6, 2024 09:28 22s picosat
picosat
February 6, 2024 09:28 22s