Skip to content

Actions: IntersectMBO/lsm-tree

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,046 workflow runs
1,046 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #818 from mwihoti/feature/811-modern-record-extens… CI #1047: Commit 9f12948 pushed by github-merge-queue bot
25m 37s main
main
25m 37s
CI CI #1046: Merge group checks requested
24m 2s
24m 2s
update Internal.Arena with modern record extensions instead of RecordWildCards #811 CI #1045: Pull request #818 synchronize by mwihoti
24m 15s mwihoti:feature/811-modern-record-extensions
mwihoti:feature/811-modern-record-extensions
24m 15s
update Internal.Arena with modern record extensions instead of RecordWildCards #811 CI #1044: Pull request #818 synchronize by mwihoti
42m 50s mwihoti:feature/811-modern-record-extensions
mwihoti:feature/811-modern-record-extensions
42m 50s
Merge pull request #819 from mwihoti/feature/812-support-io-classes-1… CI #1043: Commit 1d9a025 pushed by github-merge-queue bot
46m 6s main
main
46m 6s
CI CI #1041: Merge group checks requested
45m 34s
45m 34s
Support io-classes ^>=1.9 and ^>=1.10 in lsm-tree and blockio CI #1040: Pull request #819 synchronize by mwihoti
39m 11s mwihoti:feature/812-support-io-classes-1.9-1.10
mwihoti:feature/812-support-io-classes-1.9-1.10
39m 11s
Support io-classes ^>=1.9 and ^>=1.10 in lsm-tree and blockio CI #1039: Pull request #819 synchronize by mwihoti
Action required mwihoti:feature/812-support-io-classes-1.9-1.10
mwihoti:feature/812-support-io-classes-1.9-1.10
Action required
Support ghc-9.14 CI #1038: Pull request #827 synchronize by erikd
26m 49s erikd/ghc-9.14
erikd/ghc-9.14
26m 49s
Support ghc-9.14 CI #1037: Pull request #827 synchronize by erikd
20m 24s erikd/ghc-9.14
erikd/ghc-9.14
20m 24s
Issue 795 CI #1036: Pull request #816 synchronize by kanyuku
23m 11s kanyuku:issue-795
kanyuku:issue-795
23m 11s
Support ghc-9.14 CI #1035: Pull request #827 synchronize by erikd
18m 34s erikd/ghc-9.14
erikd/ghc-9.14
18m 34s
Support ghc-9.14 CI #1034: Pull request #827 synchronize by erikd
4m 48s erikd/ghc-9.14
erikd/ghc-9.14
4m 48s
Support ghc-9.14 CI #1033: Pull request #827 synchronize by erikd
5m 8s erikd/ghc-9.14
erikd/ghc-9.14
5m 8s
Support ghc-9.14 CI #1032: Pull request #827 synchronize by erikd
10m 8s erikd/ghc-9.14
erikd/ghc-9.14
10m 8s
Support ghc-9.14 CI #1031: Pull request #827 synchronize by erikd
16m 15s erikd/ghc-9.14
erikd/ghc-9.14
16m 15s
Support ghc-9.14 CI #1030: Pull request #827 synchronize by erikd
8m 42s erikd/ghc-9.14
erikd/ghc-9.14
8m 42s
Support ghc-9.14 CI #1029: Pull request #827 synchronize by erikd
25m 19s erikd/ghc-9.14
erikd/ghc-9.14
25m 19s
Issue 795 CI #1028: Pull request #816 synchronize by kanyuku
18m 20s kanyuku:issue-795
kanyuku:issue-795
18m 20s
Support ghc-9.14 CI #1027: Pull request #827 synchronize by erikd
29m 49s erikd/ghc-9.14
erikd/ghc-9.14
29m 49s
Support ghc-9.14 CI #1026: Pull request #827 synchronize by erikd
31m 18s erikd/ghc-9.14
erikd/ghc-9.14
31m 18s
Support ghc-9.14 CI #1025: Pull request #827 synchronize by erikd
4m 1s erikd/ghc-9.14
erikd/ghc-9.14
4m 1s
Support ghc-9.14 CI #1024: Pull request #827 synchronize by erikd
7m 37s erikd/ghc-9.14
erikd/ghc-9.14
7m 37s
Merge pull request #815 from kanyuku/fix/doc-run-misnomer CI #1023: Commit 942b0aa pushed by github-merge-queue bot
30m 19s main
main
30m 19s
CI CI #1022: Merge group checks requested
32m 40s
32m 40s