Skip to content

Actions: well-typed/libclang-bindings

Actions

Build and test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
haskell.yml
224 workflow runs
224 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 Build and test #232: Commit 6a2ee57 pushed by github-merge-queue Bot
8m 5s main
main
8m 5s
Build and test Build and test #231: Merge group checks requested
6m 54s
6m 54s
Update llvm-config documentation Build and test #230: Pull request #80 opened by TravisCardwell
7m 43s tcard/manual
tcard/manual
7m 43s
Merge pull request #79 from well-typed/jdral/ci-timeouts Build and test #229: Commit 4570986 pushed by github-merge-queue Bot
8m 35s main
main
8m 35s
Build and test Build and test #228: Merge group checks requested
8m 27s
8m 27s
CI: do not consider jobs as successes if they were timed out Build and test #227: Pull request #79 opened by jorisdral
13m 5s jdral/ci-timeouts
jdral/ci-timeouts
13m 5s
Merge pull request #78 from well-typed/dom/pr-template Build and test #226: Commit 6100c43 pushed by github-merge-queue Bot
41m 45s main
main
41m 45s
Build and test Build and test #225: Merge group checks requested
24m 46s
24m 46s
Add a minimal PR template (copy from hs-bindgen) Build and test #224: Pull request #78 opened by dschrempf
23m 7s dom/pr-template
dom/pr-template
23m 7s
Merge pull request #77 from well-typed/dom/fedora Build and test #223: Commit 39db3cf pushed by github-merge-queue Bot
14m 21s main
main
14m 21s
Build and test Build and test #222: Merge group checks requested
8m 58s
8m 58s
Note about Fedora Clang versioning Build and test #221: Pull request #77 opened by dschrempf
8m 59s dom/fedora
dom/fedora
8m 59s
Merge pull request #76 from well-typed/dom/changelog Build and test #220: Commit 9f99d36 pushed by github-merge-queue Bot
8m 33s main
main
8m 33s
Build and test Build and test #219: Merge group checks requested
11m 9s
11m 9s
Reapply changelog stub Build and test #218: Pull request #76 opened by dschrempf
8m 30s dom/changelog
dom/changelog
8m 30s
Merge pull request #75 from well-typed/dom/changelog Build and test #217: Commit e3eafae pushed by github-merge-queue Bot
6m 27s main
main
6m 27s
Build and test Build and test #216: Merge group checks requested
6m 9s
6m 9s
Fix changelog Build and test #215: Pull request #75 opened by dschrempf
7m 9s dom/changelog
dom/changelog
7m 9s
Merge pull request #72 from well-typed/dom/release-nits Build and test #214: Commit 2243ccf pushed by github-merge-queue Bot
10m 50s main
main
10m 50s
Build and test Build and test #213: Merge group checks requested
7m 20s
7m 20s
Final nits before first release Build and test #212: Pull request #72 synchronize by dschrempf
6m 12s dom/release-nits
dom/release-nits
6m 12s
Final nits before first release Build and test #211: Pull request #72 opened by dschrempf
5m 1s dom/release-nits
dom/release-nits
5m 1s
Merge pull request #69 from well-typed/dom/release-fixes Build and test #210: Commit 053de38 pushed by github-merge-queue Bot
9m 40s main
main
9m 40s
Build and test Build and test #209: Merge group checks requested
7m 16s
7m 16s
Prepare for release-0.1.0.0 Build and test #208: Pull request #69 synchronize by dschrempf
5m 56s dom/release-fixes
dom/release-fixes
5m 56s