Skip to content

Actions: well-typed/libclang-bindings

Actions

cabal-fmt

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cabal-fmt.yml
222 workflow runs
222 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #80 from well-typed/tcard/manual cabal-fmt #230: Commit 6a2ee57 pushed by github-merge-queue Bot
8s main
main
8s
cabal-fmt cabal-fmt #229: Merge group checks requested
8s
8s
Update llvm-config documentation cabal-fmt #228: Pull request #80 opened by TravisCardwell
9s tcard/manual
tcard/manual
9s
Merge pull request #79 from well-typed/jdral/ci-timeouts cabal-fmt #227: Commit 4570986 pushed by github-merge-queue Bot
12s main
main
12s
cabal-fmt cabal-fmt #226: Merge group checks requested
12s
12s
CI: do not consider jobs as successes if they were timed out cabal-fmt #225: Pull request #79 opened by jorisdral
34s jdral/ci-timeouts
jdral/ci-timeouts
34s
Merge pull request #78 from well-typed/dom/pr-template cabal-fmt #224: Commit 6100c43 pushed by github-merge-queue Bot
16m 19s main
main
16m 19s
cabal-fmt cabal-fmt #223: Merge group checks requested
3m 39s
3m 39s
Add a minimal PR template (copy from hs-bindgen) cabal-fmt #222: Pull request #78 opened by dschrempf
10s dom/pr-template
dom/pr-template
10s
Merge pull request #77 from well-typed/dom/fedora cabal-fmt #221: Commit 39db3cf pushed by github-merge-queue Bot
14s main
main
14s
cabal-fmt cabal-fmt #220: Merge group checks requested
8s
8s
Note about Fedora Clang versioning cabal-fmt #219: Pull request #77 opened by dschrempf
13s dom/fedora
dom/fedora
13s
Merge pull request #76 from well-typed/dom/changelog cabal-fmt #218: Commit 9f99d36 pushed by github-merge-queue Bot
12s main
main
12s
cabal-fmt cabal-fmt #217: Merge group checks requested
9s
9s
Reapply changelog stub cabal-fmt #216: Pull request #76 opened by dschrempf
12s dom/changelog
dom/changelog
12s
Merge pull request #75 from well-typed/dom/changelog cabal-fmt #215: Commit e3eafae pushed by github-merge-queue Bot
11s main
main
11s
cabal-fmt cabal-fmt #214: Merge group checks requested
7s
7s
Fix changelog cabal-fmt #213: Pull request #75 opened by dschrempf
8s dom/changelog
dom/changelog
8s
Merge pull request #72 from well-typed/dom/release-nits cabal-fmt #212: Commit 2243ccf pushed by github-merge-queue Bot
7s main
main
7s
cabal-fmt cabal-fmt #211: Merge group checks requested
8s
8s
Final nits before first release cabal-fmt #210: Pull request #72 synchronize by dschrempf
10s dom/release-nits
dom/release-nits
10s
Final nits before first release cabal-fmt #209: Pull request #72 opened by dschrempf
10s dom/release-nits
dom/release-nits
10s
Merge pull request #69 from well-typed/dom/release-fixes cabal-fmt #208: Commit 053de38 pushed by github-merge-queue Bot
13s main
main
13s
cabal-fmt cabal-fmt #207: Merge group checks requested
9s
9s
Prepare for release-0.1.0.0 cabal-fmt #206: Pull request #69 synchronize by dschrempf
13s dom/release-fixes
dom/release-fixes
13s