Skip to content

Actions: bitnomial/prometheus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #54 from bitnomial/update-ghc-9.6.6
CI #13: Commit 2d4b631 pushed by wraithm
August 7, 2024 18:01 5m 18s master
August 7, 2024 18:01 5m 18s
Update ghc 9.6.6
CI #12: Pull request #54 opened by wraithm
August 7, 2024 17:54 5m 12s update-ghc-9.6.6
August 7, 2024 17:54 5m 12s
Merge pull request #53 from erikd/master
CI #11: Commit fe01243 pushed by wraithm
August 7, 2024 06:44 8m 23s master
August 7, 2024 06:44 8m 23s
Bump containers upper dependency bound
CI #10: Pull request #53 synchronize by erikd
August 7, 2024 04:43 8m 18s erikd:master
August 7, 2024 04:43 8m 18s
Bump containers upper dependency bound
CI #9: Pull request #53 opened by erikd
August 7, 2024 04:41 8m 28s erikd:master
August 7, 2024 04:41 8m 28s
Merge pull request #52 from erikd/master
CI #8: Commit da51ef7 pushed by cdepillabout
February 1, 2024 03:14 5m 40s master
February 1, 2024 03:14 5m 40s
Make it build with ghc-9.8
CI #7: Pull request #52 synchronize by erikd
February 1, 2024 01:58 5m 39s erikd:master
February 1, 2024 01:58 5m 39s
Make it build with ghc-9.8
CI #6: Pull request #52 opened by erikd
February 1, 2024 01:56 5m 47s erikd:master
February 1, 2024 01:56 5m 47s
Merge pull request #51 from bitnomial/histogram-bug
CI #5: Commit 6ccbc9d pushed by wraithm
December 19, 2023 22:19 2m 48s master
December 19, 2023 22:19 2m 48s
Merge pull request #50 from bitnomial/add-ci
CI #4: Commit 42be28d pushed by wraithm
December 19, 2023 15:34 6m 40s master
December 19, 2023 15:34 6m 40s
Fix bug with observeAndSample function from Histogram
CI #3: Pull request #51 synchronize by cdepillabout
December 19, 2023 08:19 57s histogram-bug
December 19, 2023 08:19 57s
Fix bug with observeAndSample function from Histogram
CI #2: Pull request #51 opened by cdepillabout
December 19, 2023 08:18 6m 18s histogram-bug
December 19, 2023 08:18 6m 18s
Add GitHub Actions CI
CI #1: Pull request #50 opened by cdepillabout
December 19, 2023 06:54 6m 28s add-ci
December 19, 2023 06:54 6m 28s