Skip to content

Actions: polyadic/funcky-discriminated-union

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix installation instructions. Build #56: Pull request #17 opened by FreeApophis
November 8, 2024 07:16 30s fix-installation-instructions
fix-installation-instructions
November 8, 2024 07:16 30s
Merge pull request #15 from Mafii/partition-specialization Build #55: Commit 8d8d375 pushed by bash
October 1, 2024 09:12 36s main
main
October 1, 2024 09:12 36s
Add option to generate specialized partition implementation Build #54: Pull request #15 synchronize by Mafii
October 1, 2024 09:11 37s Mafii:partition-specialization
Mafii:partition-specialization
October 1, 2024 09:11 37s
Add option to generate specialized partition implementation Build #53: Pull request #15 synchronize by Mafii
October 1, 2024 09:10 41s Mafii:partition-specialization
Mafii:partition-specialization
October 1, 2024 09:10 41s
Merge pull request #16 from polyadic/update-gh-actions Build #52: Commit 12b8047 pushed by bash
October 1, 2024 09:00 35s main
main
October 1, 2024 09:00 35s
Update actions to v4 Build #51: Pull request #16 opened by bash
October 1, 2024 08:58 35s update-gh-actions
update-gh-actions
October 1, 2024 08:58 35s
Add option to generate specialized partition implementation Build #50: Pull request #15 synchronize by Mafii
October 1, 2024 08:43 33s Mafii:partition-specialization
Mafii:partition-specialization
October 1, 2024 08:43 33s
Add option to generate specialized partition implementation Build #49: Pull request #15 synchronize by Mafii
October 1, 2024 08:30 38s Mafii:partition-specialization
Mafii:partition-specialization
October 1, 2024 08:30 38s
Add option to generate specialized partition implementation Build #48: Pull request #15 synchronize by Mafii
September 25, 2024 11:41 39s Mafii:partition-specialization
Mafii:partition-specialization
September 25, 2024 11:41 39s
Add option to generate specialized partition implementation Build #47: Pull request #15 synchronize by Mafii
September 25, 2024 11:30 35s Mafii:partition-specialization
Mafii:partition-specialization
September 25, 2024 11:30 35s
Add option to generate specialized partition implementation Build #46: Pull request #15 synchronize by Mafii
September 25, 2024 11:29 29s Mafii:partition-specialization
Mafii:partition-specialization
September 25, 2024 11:29 29s
Add option to generate specialized partition implementation Build #45: Pull request #15 synchronize by Mafii
September 25, 2024 11:24 38s Mafii:partition-specialization
Mafii:partition-specialization
September 25, 2024 11:24 38s
Add option to generate specialized partition implementation Build #44: Pull request #15 synchronize by Mafii
September 25, 2024 11:20 42s Mafii:partition-specialization
Mafii:partition-specialization
September 25, 2024 11:20 42s
Add option to generate specialized partition implementation Build #43: Pull request #15 synchronize by Mafii
September 24, 2024 14:51 41s Mafii:partition-specialization
Mafii:partition-specialization
September 24, 2024 14:51 41s
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