Skip to content

Actions: fsprojects/FSharpx.Extras

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
12 workflow runs
12 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
pages build and deployment pages-build-deployment #5: by gdziadkiewicz
October 24, 2023 22:40 55s
October 24, 2023 22:40 55s
Merge pull request #433 from gdziadkiewicz/Add_point_about_functional… Build and test #42: Commit 2c34f15 pushed by gdziadkiewicz
October 24, 2023 22:39 3m 51s master
master
October 24, 2023 22:39 3m 51s
Merge pull request #432 from gdziadkiewicz/Update_fake_and_paket Build and test #41: Commit 09cdd91 pushed by gdziadkiewicz
October 24, 2023 22:35 4m 20s master
master
October 24, 2023 22:35 4m 20s
Add info about functional wrappers to docs Build and test #40: Pull request #433 opened by gdziadkiewicz
October 24, 2023 22:34 4m 7s gdziadkiewicz:Add_point_about_functional_wrappers_to_docs
gdziadkiewicz:Add_point_about_functional_wrappers_to_docs
October 24, 2023 22:34 4m 7s
Update fake and paket Build and test #39: Pull request #432 opened by gdziadkiewicz
October 24, 2023 22:25 4m 30s gdziadkiewicz:Update_fake_and_paket
gdziadkiewicz:Update_fake_and_paket
October 24, 2023 22:25 4m 30s
pages build and deployment pages-build-deployment #4: by gdziadkiewicz
October 24, 2023 21:35 1m 1s
October 24, 2023 21:35 1m 1s
Merge pull request #431 from gdziadkiewicz/fix_docs Build and test #38: Commit 74b4aa6 pushed by gdziadkiewicz
October 24, 2023 21:34 4m 59s master
master
October 24, 2023 21:34 4m 59s
Fix docs by fixing the project URL Build and test #37: Pull request #431 opened by gdziadkiewicz
October 24, 2023 21:28 3m 41s gdziadkiewicz:fix_docs
gdziadkiewicz:fix_docs
October 24, 2023 21:28 3m 41s
pages build and deployment pages-build-deployment #3: by gdziadkiewicz
October 24, 2023 21:27 52s
October 24, 2023 21:27 52s
pages build and deployment pages-build-deployment #2: by gdziadkiewicz
October 24, 2023 21:24 57s
October 24, 2023 21:24 57s
pages build and deployment pages-build-deployment #1: by gdziadkiewicz
October 24, 2023 21:06 1m 3s
October 24, 2023 21:06 1m 3s
Build and test Build and test #36: Manually run by gdziadkiewicz
October 24, 2023 20:04 3m 46s master
master
October 24, 2023 20:04 3m 46s