Skip to content

Actions: se-sic/vara-project-patches

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
45 workflow runs
45 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Patches for synthetic compile time case studies pre-commit #33: Pull request #14 opened by LuAbelt
October 10, 2023 14:21 28s f-SynthCT
f-SynthCT
October 10, 2023 14:21 28s
Adds new regression patches and SynthIP configs pre-commit #32: Pull request #13 synchronize by vulder
October 10, 2023 13:37 27s RWPatches
RWPatches
October 10, 2023 13:37 27s
Adds new regression patches and SynthIP configs pre-commit #31: Pull request #13 synchronize by vulder
October 10, 2023 13:08 34s RWPatches
RWPatches
October 10, 2023 13:08 34s
Adds new regression patches and SynthIP configs pre-commit #30: Pull request #13 synchronize by vulder
October 10, 2023 13:05 25s RWPatches
RWPatches
October 10, 2023 13:05 25s
Add Dune configuration patches pre-commit #29: Pull request #12 synchronize by LuAbelt
October 6, 2023 12:19 19s f-Dune-Config-Patches
f-Dune-Config-Patches
October 6, 2023 12:19 19s
Add Dune configuration patches pre-commit #28: Pull request #12 opened by LuAbelt
October 6, 2023 12:19 34s f-Dune-Config-Patches
f-Dune-Config-Patches
October 6, 2023 12:19 34s
Adds new regression patches for new Synth IP case studies pre-commit #27: Pull request #10 synchronize by vulder
October 6, 2023 07:17 22s f-SynthIP
f-SynthIP
October 6, 2023 07:17 22s
Adds new regression patches for new Synth IP case studies pre-commit #26: Pull request #10 synchronize by vulder
October 6, 2023 05:58 22s f-SynthIP
f-SynthIP
October 6, 2023 05:58 22s
Adds new regression patches for new Synth IP case studies pre-commit #25: Pull request #10 synchronize by vulder
October 5, 2023 16:16 19s f-SynthIP
f-SynthIP
October 5, 2023 16:16 19s
Adds new regression patches for new Synth IP case studies pre-commit #24: Pull request #10 synchronize by vulder
October 5, 2023 16:05 25s f-SynthIP
f-SynthIP
October 5, 2023 16:05 25s
Adds new regression patches for new Synth IP case studies pre-commit #23: Pull request #10 synchronize by vulder
October 5, 2023 15:57 19s f-SynthIP
f-SynthIP
October 5, 2023 15:57 19s
Adds new regression patches for new Synth IP case studies pre-commit #22: Pull request #10 synchronize by vulder
October 5, 2023 14:59 24s f-SynthIP
f-SynthIP
October 5, 2023 14:59 24s
Adds new regression patches for new Synth IP case studies pre-commit #21: Pull request #10 synchronize by vulder
October 5, 2023 14:54 22s f-SynthIP
f-SynthIP
October 5, 2023 14:54 22s
Adds new regression patches for new Synth IP case studies pre-commit #20: Pull request #10 synchronize by vulder
October 5, 2023 14:39 27s f-SynthIP
f-SynthIP
October 5, 2023 14:39 27s
Adds new regression patches for new Synth IP case studies pre-commit #19: Pull request #10 synchronize by vulder
October 5, 2023 13:57 26s f-SynthIP
f-SynthIP
October 5, 2023 13:57 26s
Adds new regression patches for new Synth IP case studies pre-commit #18: Pull request #10 synchronize by vulder
October 5, 2023 13:02 27s f-SynthIP
f-SynthIP
October 5, 2023 13:02 27s
Adds new regression patches for new Synth IP case studies pre-commit #17: Pull request #10 synchronize by vulder
September 26, 2023 12:26 25s f-SynthIP
f-SynthIP
September 26, 2023 12:26 25s
Adds configuration patches for SynthPI* case studies. pre-commit #16: Pull request #11 opened by boehmseb
September 26, 2023 10:44 32s f-SynthIPConfigPatches
f-SynthIPConfigPatches
September 26, 2023 10:44 32s
Adds new regression patches for new Synth IP case studies pre-commit #15: Pull request #10 synchronize by vulder
September 14, 2023 12:24 29s f-SynthIP
f-SynthIP
September 14, 2023 12:24 29s
Adds new regression patches for new Synth IP case studies pre-commit #14: Pull request #10 opened by vulder
September 12, 2023 20:17 31s f-SynthIP
f-SynthIP
September 12, 2023 20:17 31s