Skip to content

Actions: polyadic/funcky

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
293 workflow runs
293 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #737 from polyadic/or-else-consistency
Build and Deploy Website #1328: Commit 15b9cc0 pushed by bash
July 11, 2023 13:10 51s main
July 11, 2023 13:10 51s
Add missing OrElse and GetOrElse methods to Result and Either
Build and Deploy Website #1327: Pull request #737 opened by bash
July 11, 2023 09:27 32s or-else-consistency
July 11, 2023 09:27 32s
Generalize Match Analyzer to All Alternative Monads
Build #1730: Pull request #736 synchronize by bash
July 10, 2023 12:43 1m 41s generalize-match-analyzer
July 10, 2023 12:43 1m 41s
Generalize Match Analyzer to All Alternative Monads
Build and Deploy Website #1326: Pull request #736 synchronize by bash
July 10, 2023 12:43 30s generalize-match-analyzer
July 10, 2023 12:43 30s
Generalize Match Analyzer to All Alternative Monads
Build and Deploy Website #1325: Pull request #736 synchronize by bash
July 10, 2023 12:42 39s generalize-match-analyzer
July 10, 2023 12:42 39s
Generalize Match Analyzer to All Alternative Monads
Build #1729: Pull request #736 synchronize by bash
July 10, 2023 12:42 1m 35s generalize-match-analyzer
July 10, 2023 12:42 1m 35s
Generalize Match Analyzer to All Alternative Monads
Build and Deploy Website #1324: Pull request #736 opened by bash
July 10, 2023 12:42 37s generalize-match-analyzer
July 10, 2023 12:42 37s
Add methods for inspecting the error case of alternative monads
Build #1727: Pull request #735 opened by bash
July 10, 2023 10:28 7m 22s inspect-left
July 10, 2023 10:28 7m 22s
Add methods for inspecting the error case of alternative monads
Build and Deploy Website #1323: Pull request #735 opened by bash
July 10, 2023 10:28 31s inspect-left
July 10, 2023 10:28 31s
Merge pull request #734 from polyadic/update-sdk
Build #1726: Commit fd8ab52 pushed by bash
July 10, 2023 10:16 8m 29s main
July 10, 2023 10:16 8m 29s
Merge pull request #734 from polyadic/update-sdk
Build and Deploy Website #1322: Commit fd8ab52 pushed by bash
July 10, 2023 10:16 53s main
July 10, 2023 10:16 53s
Merge pull request #734 from polyadic/update-sdk
Publish Nightly Packages #147: Commit fd8ab52 pushed by bash
July 10, 2023 10:16 1m 24s main
July 10, 2023 10:16 1m 24s
Update SDK to Newest Preview
Build and Deploy Website #1321: Pull request #734 synchronize by bash
July 10, 2023 10:06 34s update-sdk
July 10, 2023 10:06 34s
Update SDK to Newest Preview
Build #1725: Pull request #734 synchronize by bash
July 10, 2023 10:06 7m 57s update-sdk
July 10, 2023 10:06 7m 57s
Update SDK to Newest Preview
Build and Deploy Website #1320: Pull request #734 opened by bash
July 10, 2023 09:55 33s update-sdk
July 10, 2023 09:55 33s
Update SDK to Newest Preview
Build #1724: Pull request #734 opened by bash
July 10, 2023 09:55 8m 22s update-sdk
July 10, 2023 09:55 8m 22s
ProTip! You can narrow down the results and go further in time using created:<2023-07-10 or the other filters available.