Skip to content

Actions: gominimal/pkgs

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
2,131 workflow runs
2,131 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
tamarin-prover: use the packaged alex/happy instead of cabal's own (intermittent amd64 failure) CI #2145: Pull request #609 synchronize by bryan-minimal
5m 27s fix/tamarin-amd64-alex
fix/tamarin-amd64-alex
5m 27s
Update stacked: 8 packages CI #2144: Pull request #606 synchronize by bryan-minimal
7m 22s update-stacked-2026-08-14-26edbad7
update-stacked-2026-08-14-26edbad7
7m 22s
Add maki 0.4.7 (#608) CI #2143: Commit fbf7663 pushed by github-merge-queue Bot
5m 3s main
main
5m 3s
tamarin-prover: use the packaged alex/happy instead of cabal's own (intermittent amd64 failure) CI #2142: Pull request #609 opened by bryan-minimal
5m 20s fix/tamarin-amd64-alex
fix/tamarin-amd64-alex
5m 20s
CI CI #2141: Merge group checks requested
5m 41s
5m 41s
Add pi 0.84.2 (#607) CI #2140: Commit 6ff8592 pushed by github-merge-queue Bot
7m 39s main
main
7m 39s
CI CI #2139: Merge group checks requested
5m 46s
5m 46s
Add maki 0.4.7 CI #2138: Pull request #608 opened by 0chroma
6m 25s add-maki
add-maki
6m 25s
Add pi 0.84.2 CI #2137: Pull request #607 synchronize by 0chroma
5m 47s add-pi
add-pi
5m 47s
Add pi 0.84.2 CI #2136: Pull request #607 opened by 0chroma
4m 53s add-pi
add-pi
4m 53s
Update stacked: 8 packages CI #2135: Pull request #606 opened by gominimal-pkgmgr-mgr Bot
4m 7s update-stacked-2026-08-14-26edbad7
update-stacked-2026-08-14-26edbad7
4m 7s
lean: ship the module roots — lean cannot compile anything without … CI #2134: Commit 1cb30c6 pushed by github-merge-queue Bot
5m 24s main
main
5m 24s
CI CI #2133: Merge group checks requested
6m 18s
6m 18s
lean: ship the module roots — lean cannot compile anything without them CI #2132: Pull request #605 synchronize by bryan-minimal
5m 11s fix/lean-module-root-oleans
fix/lean-module-root-oleans
5m 11s
lean: ship the module roots — lean cannot compile anything without them CI #2131: Pull request #605 opened by bryan-minimal
5m 53s fix/lean-module-root-oleans
fix/lean-module-root-oleans
5m 53s
Update rsync to 3.5.0 (#603) CI #2130: Commit 8b9b106 pushed by github-merge-queue Bot
5m 29s main
main
5m 29s
Update stacked: 4 packages (#602) CI #2129: Commit 95edde8 pushed by github-merge-queue Bot
7m 39s main
main
7m 39s
Update node-lts to 24.19.0 CI #2128: Pull request #604 opened by gominimal-pkgmgr-mgr Bot
4m 41s update-node-lts-24.19.0
update-node-lts-24.19.0
4m 41s
CI CI #2127: Merge group checks requested
6m 0s
6m 0s
CI CI #2126: Merge group checks requested
5m 44s
5m 44s
Update rsync to 3.5.0 CI #2125: Pull request #603 opened by gominimal-pkgmgr-mgr Bot
6m 1s update-rsync-3.5.0
update-rsync-3.5.0
6m 1s
Update stacked: 4 packages CI #2124: Pull request #602 opened by gominimal-pkgmgr-mgr Bot
5m 19s update-stacked-2026-08-13-410d3c28
update-stacked-2026-08-13-410d3c28
5m 19s
Add zvelte-check-bin 0.2.0 (#509) CI #2123: Commit bdcd84c pushed by github-merge-queue Bot
5m 27s main
main
5m 27s
CI CI #2122: Merge group checks requested
10m 47s
10m 47s
Add zvelte-check-bin 0.2.0 CI #2121: Pull request #509 synchronize by bryan-minimal
5m 44s bryan/homebrew-import
bryan/homebrew-import
5m 44s