Skip to content

Actions: fp-ts/optic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
94 workflow runs
94 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
update effect Main Flow #53: Commit bd3b748 pushed by gcanti
November 7, 2023 19:44 1m 13s main
main
November 7, 2023 19:44 1m 13s
pages build and deployment pages-build-deployment #46: by gcanti
November 7, 2023 19:44 1m 4s
November 7, 2023 19:44 1m 4s
update effect PR Flow #58: Pull request #60 opened by gcanti
November 7, 2023 19:35 1m 14s chore/update-effect
chore/update-effect
November 7, 2023 19:35 1m 14s
switch to @effect/dtslint Main Flow #52: Commit bc3108c pushed by gcanti
October 27, 2023 07:20 1m 48s main
main
October 27, 2023 07:20 1m 48s
pages build and deployment pages-build-deployment #45: by gcanti
October 27, 2023 07:20 1m 4s
October 27, 2023 07:20 1m 4s
switch to @effect/dtslint PR Flow #57: Pull request #59 opened by gcanti
October 27, 2023 07:17 1m 27s chore/dtslint
chore/dtslint
October 27, 2023 07:17 1m 27s
Version Packages Main Flow #51: Commit 81b0330 pushed by gcanti
October 26, 2023 08:37 3m 45s main
main
October 26, 2023 08:37 3m 45s
pages build and deployment pages-build-deployment #44: by gcanti
October 26, 2023 08:37 1m 3s
October 26, 2023 08:37 1m 3s
chore Main Flow #50: Commit 055a02c pushed by gcanti
October 26, 2023 08:26 1m 38s main
main
October 26, 2023 08:26 1m 38s
pages build and deployment pages-build-deployment #43: by gcanti
October 26, 2023 08:26 53s
October 26, 2023 08:26 53s
update effect and typeclass deps PR Flow #56: Pull request #57 synchronize by gcanti
October 26, 2023 08:21 1m 49s chore/update-effect
chore/update-effect
October 26, 2023 08:21 1m 49s
update effect and typeclass deps PR Flow #55: Pull request #57 opened by gcanti
October 26, 2023 07:35 1m 25s chore/update-effect
chore/update-effect
October 26, 2023 07:35 1m 25s
Version Packages Main Flow #49: Commit 610bcec pushed by gcanti
October 19, 2023 10:35 1m 9s main
main
October 19, 2023 10:35 1m 9s
pages build and deployment pages-build-deployment #42: by gcanti
October 19, 2023 10:35 1m 5s
October 19, 2023 10:35 1m 5s
update effect Main Flow #48: Commit 12bb147 pushed by gcanti
October 19, 2023 10:32 1m 37s main
main
October 19, 2023 10:32 1m 37s
pages build and deployment pages-build-deployment #41: by gcanti
October 19, 2023 10:32 57s
October 19, 2023 10:32 57s
update effect PR Flow #54: Pull request #55 opened by gcanti
October 19, 2023 10:26 1m 27s chore/update-effect
chore/update-effect
October 19, 2023 10:26 1m 27s
Version Packages Main Flow #47: Commit 55ffb9e pushed by gcanti
October 17, 2023 06:29 1m 13s main
main
October 17, 2023 06:29 1m 13s
pages build and deployment pages-build-deployment #40: by gcanti
October 17, 2023 06:29 59s
October 17, 2023 06:29 59s
update deps Main Flow #46: Commit 2d547ed pushed by gcanti
October 17, 2023 06:27 1m 34s main
main
October 17, 2023 06:27 1m 34s
pages build and deployment pages-build-deployment #39: by gcanti
October 17, 2023 06:27 1m 7s
October 17, 2023 06:27 1m 7s
update deps PR Flow #53: Pull request #52 opened by gcanti
October 17, 2023 06:23 1m 31s chore/update-effect
chore/update-effect
October 17, 2023 06:23 1m 31s
Version Packages Main Flow #45: Commit d71f9b1 pushed by gcanti
October 14, 2023 14:39 1m 7s main
main
October 14, 2023 14:39 1m 7s
pages build and deployment pages-build-deployment #38: by gcanti
October 14, 2023 14:39 52s
October 14, 2023 14:39 52s
update effect Main Flow #44: Commit 99f7b02 pushed by gcanti
October 14, 2023 14:37 1m 24s main
main
October 14, 2023 14:37 1m 24s