Skip to content

Actions: polyadic/funcky-discriminated-union

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

Add option to generate specialized partition implementation Build #42: Pull request #15 synchronize by Mafii
September 18, 2024 11:08 31s Mafii:partition-specialization
Mafii:partition-specialization
September 18, 2024 11:08 31s
Add option to generate specialized partition implementation Build #41: Pull request #15 synchronize by Mafii
September 18, 2024 08:19 41s Mafii:partition-specialization
Mafii:partition-specialization
September 18, 2024 08:19 41s
Add option to generate specialized partition implementation Build #40: Pull request #15 synchronize by Mafii
September 17, 2024 14:42 40s Mafii:partition-specialization
Mafii:partition-specialization
September 17, 2024 14:42 40s
Add option to generate specialized partition implementation Build #39: Pull request #15 synchronize by Mafii
September 17, 2024 14:38 32s Mafii:partition-specialization
Mafii:partition-specialization
September 17, 2024 14:38 32s
Add option to generate specialized partition implementation Build #38: Pull request #15 synchronize by Mafii
September 17, 2024 14:20 34s Mafii:partition-specialization
Mafii:partition-specialization
September 17, 2024 14:20 34s
Add option to generate specialized partition implementation Build #37: Pull request #15 synchronize by Mafii
September 17, 2024 14:13 44s Mafii:partition-specialization
Mafii:partition-specialization
September 17, 2024 14:13 44s
Add option to generate specialized partition implementation Build #36: Pull request #15 synchronize by Mafii
September 17, 2024 14:02 41s Mafii:partition-specialization
Mafii:partition-specialization
September 17, 2024 14:02 41s
Add option to generate specialized partition implementation Build #35: Pull request #15 synchronize by Mafii
September 17, 2024 13:59 39s Mafii:partition-specialization
Mafii:partition-specialization
September 17, 2024 13:59 39s
Add option to generate specialized partition implementation Build #34: Pull request #15 synchronize by Mafii
September 17, 2024 13:53 1m 37s Mafii:partition-specialization
Mafii:partition-specialization
September 17, 2024 13:53 1m 37s
Add option to generate specialized partition implementation Build #33: Pull request #15 synchronize by Mafii
September 17, 2024 13:47 45s Mafii:partition-specialization
Mafii:partition-specialization
September 17, 2024 13:47 45s
Add option to generate specialized partition implementation Build #32: Pull request #15 opened by Mafii
September 17, 2024 13:40 40s Mafii:partition-specialization
Mafii:partition-specialization
September 17, 2024 13:40 40s