Skip to content

Actions: etorreborre/registry

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci ci #89: Scheduled
August 1, 2025 00:41 8m 54s main
main
August 1, 2025 00:41 8m 54s
Merge pull request #13 from Bodigrim/main ci #88: Commit bb21522 pushed by etorreborre
July 20, 2025 12:15 8m 36s main
main
July 20, 2025 12:15 8m 36s
Eliminate name clash between Protolude.mapMaybe and Data.List.NonEmpty.mapMaybe ci #87: Pull request #13 opened by Bodigrim
July 19, 2025 11:46 8m 16s Bodigrim:main
Bodigrim:main
July 19, 2025 11:46 8m 16s
ci ci #86: Scheduled
July 1, 2025 00:39 8m 34s main
main
July 1, 2025 00:39 8m 34s
ci ci #85: Scheduled
June 1, 2025 00:41 8m 8s main
main
June 1, 2025 00:41 8m 8s
project: upgrade lts + make compatible with latest text package ci #84: Commit 8eeeafc pushed by etorreborre
May 17, 2025 10:28 9m 11s main
main
May 17, 2025 10:28 9m 11s
ci ci #83: Scheduled
May 1, 2025 00:36 8m 16s main
main
May 1, 2025 00:36 8m 16s
ci ci #82: Scheduled
April 1, 2025 00:35 9m 9s main
main
April 1, 2025 00:35 9m 9s
project: upgrade github actions ci #81: Commit 1acf19a pushed by etorreborre
March 7, 2025 09:13 8m 48s main
main
March 7, 2025 09:13 8m 48s
feature: extend the dependency bounds to be compatible with lts 23 ci #80: Commit 7fce444 pushed by etorreborre
March 6, 2025 15:33 12s main
main
March 6, 2025 15:33 12s
ci ci #79: Scheduled
March 1, 2025 00:32 7m 31s main
main
March 1, 2025 00:32 7m 31s
ci ci #78: Scheduled
February 1, 2025 00:30 7m 44s main
main
February 1, 2025 00:30 7m 44s
ci ci #77: Scheduled
January 1, 2025 00:31 7m 53s main
main
January 1, 2025 00:31 7m 53s
project: compile and test with lts-23 ci #76: Commit b63cd4e pushed by etorreborre
December 19, 2024 09:41 3m 6s main
main
December 19, 2024 09:41 3m 6s
project: add ghc 9.6.6 to the ci matrix ci #75: Commit 89a69d7 pushed by etorreborre
December 17, 2024 14:20 9m 0s main
main
December 17, 2024 14:20 9m 0s
project: fix the ci badge ci #74: Commit 7e92f68 pushed by etorreborre
December 17, 2024 14:19 10m 38s main
main
December 17, 2024 14:19 10m 38s
project: remove the gitter badge ci #73: Commit f62c6dc pushed by etorreborre
December 17, 2024 14:18 11m 14s main
main
December 17, 2024 14:18 11m 14s