Skip to content

Actions: well-typed/hs-bindgen

Actions

HLint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-hlint.yml
932 workflow runs
932 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Separate hstypes HLint #932: Pull request #1304 synchronize by TravisCardwell
20s tcard/binding-spec-hstypes
tcard/binding-spec-hstypes
20s
Separate hstypes HLint #931: Pull request #1304 opened by TravisCardwell
20s tcard/binding-spec-hstypes
tcard/binding-spec-hstypes
20s
Sort select messages before emitting them HLint #930: Pull request #1303 opened by dschrempf
23s dom/1294/sort-select-msgs
dom/1294/sort-select-msgs
23s
Merge pull request #1291 from well-typed/bolt12/1255 HLint #929: Commit 5ce12d5 pushed by github-merge-queue bot
18s main
main
18s
HLint HLint #928: Merge group checks requested
21s
21s
Organise the manual modules HLint #927: Pull request #1291 synchronize by bolt12
22s bolt12/1255
bolt12/1255
22s
Merge pull request #1299 from well-typed/dom/1188/th-tracer HLint #926: Commit c38b64b pushed by github-merge-queue bot
18s main
main
18s
HLint HLint #925: Merge group checks requested
18s
18s
Allow configuration of tracer in TH mode HLint #924: Pull request #1299 synchronize by dschrempf
23s dom/1188/th-tracer
dom/1188/th-tracer
23s
Allow configuration of tracer in TH mode HLint #923: Pull request #1299 synchronize by dschrempf
20s dom/1188/th-tracer
dom/1188/th-tracer
20s
Allow configuration of tracer in TH mode HLint #922: Pull request #1299 synchronize by dschrempf
20s dom/1188/th-tracer
dom/1188/th-tracer
20s
Allow configuration of tracer in TH mode HLint #921: Pull request #1299 synchronize by dschrempf
20s dom/1188/th-tracer
dom/1188/th-tracer
20s
Allow configuration of tracer in TH mode HLint #920: Pull request #1299 synchronize by dschrempf
22s dom/1188/th-tracer
dom/1188/th-tracer
22s
Allow configuration of tracer in TH mode HLint #919: Pull request #1299 synchronize by dschrempf
22s dom/1188/th-tracer
dom/1188/th-tracer
22s
Merge pull request #1240 from well-typed/dom/1037/select-but-unavaila… HLint #918: Commit ae70577 pushed by github-merge-queue bot
20s main
main
20s
HLint HLint #917: Merge group checks requested
29s
29s
Inform user about selected but unavailable declarations HLint #916: Pull request #1240 synchronize by dschrempf
19s dom/1037/select-but-unavailable-message
dom/1037/select-but-unavailable-message
19s
Updated LowLevel/Functions manual documentation HLint #915: Pull request #1300 opened by bolt12
20s bolt12/827
bolt12/827
20s
Allow configuration of tracer in TH mode HLint #914: Pull request #1299 synchronize by dschrempf
18s dom/1188/th-tracer
dom/1188/th-tracer
18s
Allow configuration of tracer in TH mode HLint #913: Pull request #1299 opened by dschrempf
22s dom/1188/th-tracer
dom/1188/th-tracer
22s
Reorganized the golden tests HLint #912: Pull request #1295 synchronize by bolt12
19s bolt12/755
bolt12/755
19s
Reorganized the golden tests HLint #911: Pull request #1295 opened by bolt12
19s bolt12/755
bolt12/755
19s
Inform user about selected but unavailable declarations HLint #910: Pull request #1240 synchronize by dschrempf
20s dom/1037/select-but-unavailable-message
dom/1037/select-but-unavailable-message
20s
Inform user about selected but unavailable declarations HLint #909: Pull request #1240 synchronize by dschrempf
18s dom/1037/select-but-unavailable-message
dom/1037/select-but-unavailable-message
18s
Merge pull request #1293 from well-typed/jdral/fix-extra-src-files HLint #908: Commit 1c4d805 pushed by github-merge-queue bot
19s main
main
19s