Skip to content

Actions: well-typed/libclang

Actions

Pull request

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
haskell-simple-pull-request.yml
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #25 from well-typed/tcard/c-standard Pull request #32: Commit 27f20c2 pushed by github-merge-queue bot
3m 25s main
main
3m 25s
Pull request Pull request #31: Merge group checks requested
8s
8s
Refactor C standard types (again) Pull request #30: Pull request #25 opened by TravisCardwell
3m 27s tcard/c-standard
tcard/c-standard
3m 27s
Merge pull request #24 from well-typed/tcard/revert-c-standard Pull request #29: Commit 363bc35 pushed by github-merge-queue bot
3m 26s main
main
3m 26s
Pull request Pull request #28: Merge group checks requested
8s
8s
Revert "Refactor C standard types" Pull request #27: Pull request #24 opened by TravisCardwell
3m 32s tcard/revert-c-standard
tcard/revert-c-standard
3m 32s
Merge pull request #23 from well-typed/bolt12-hs-bindgen/1270 Pull request #26: Commit 3ee7611 pushed by github-merge-queue bot
4m 35s main
main
4m 35s
Pull request Pull request #25: Merge group checks requested
2m 57s
2m 57s
Fix output locations format to avoid mangling STDIO Pull request #24: Pull request #23 opened by bolt12
4m 30s bolt12-hs-bindgen/1270
bolt12-hs-bindgen/1270
4m 30s
Merge pull request #22 from well-typed/tcard/fix-warning Pull request #23: Commit cd7ae1c pushed by github-merge-queue bot
3m 12s main
main
3m 12s
Pull request Pull request #22: Merge group checks requested
8s
8s
Fix const warning (#21) Pull request #21: Pull request #22 opened by TravisCardwell
3m 38s tcard/fix-warning
tcard/fix-warning
3m 38s
Merge pull request #20 from well-typed/tcard/c-standard Pull request #20: Commit 854aa48 pushed by github-merge-queue bot
3m 8s main
main
3m 8s
Pull request Pull request #19: Merge group checks requested
7s
7s
Refactor C standard types Pull request #18: Pull request #20 opened by TravisCardwell
3m 13s tcard/c-standard
tcard/c-standard
3m 13s
Merge pull request #19 from well-typed/edsko/dont-detect-anon Pull request #17: Commit b8305bd pushed by github-merge-queue bot
3m 11s main
main
3m 11s
Pull request Pull request #16: Merge group checks requested
9s
9s
Give up on trying to detect all anon declarations Pull request #15: Pull request #19 opened by edsko
3m 58s edsko/dont-detect-anon
edsko/dont-detect-anon
3m 58s
Merge pull request #18 from well-typed/tcard/eval Pull request #14: Commit 0c6d491 pushed by github-merge-queue bot
3m 12s main
main
3m 12s
Pull request Pull request #13: Merge group checks requested
8s
8s
Add evaluation API Pull request #12: Pull request #18 synchronize by TravisCardwell
3m 28s tcard/eval
tcard/eval
3m 28s
Add evaluation API Pull request #11: Pull request #18 synchronize by TravisCardwell
3m 20s tcard/eval
tcard/eval
3m 20s
Add evaluation API Pull request #10: Pull request #18 opened by TravisCardwell
3m 16s tcard/eval
tcard/eval
3m 16s
Merge pull request #16 from well-typed/bolt12/rever-14 Pull request #9: Commit b62972c pushed by github-merge-queue bot
3m 12s main
main
3m 12s
Pull request Pull request #8: Merge group checks requested
10s
10s