Skip to content

Actions: MercuryTechnologies/ghciwatch

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
132 workflow runs
132 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add --read-logs-from for asynchronous log output
Update versions and create release PR #244: Pull request #227 closed by 9999years
1s
Parse single-quoted GHC output more reliably
Update versions and create release PR #243: Pull request #301 closed by 9999years
1s
Parse File ... not found messages
Update versions and create release PR #242: Pull request #297 closed by 9999years
2s
Parse Haskell source paths more reliably
Update versions and create release PR #241: Pull request #302 closed by 9999years
1s
pages build and deployment
pages-build-deployment #7: by github-pages bot
19s gh-pages
19s
Reduce default debounce interval to 0.1s
Update versions and create release PR #240: Pull request #378 closed by 9999years
1m 25s
Parse exceptions during reloads
Update versions and create release PR #239: Pull request #366 closed by lf-
2s
Reduce default debounce interval to 0.1s
Label PRs with `patch` by default #247: Pull request #378 opened by georgefst
11s
cargo update
Build and publish a release #237: Pull request #377 closed by 9999years
cargo update
Update versions and create release PR #238: Pull request #377 closed by 9999years
1m 26s
cargo update (#377)
Build and publish a release #26: Commit 9fdd496 pushed by 9999years
44s main
cargo update
Label PRs with `patch` by default #246: Pull request #377 opened by 9999years
12s
Bench tuning
Update versions and create release PR #237: Pull request #376 closed by jkeuhlen
1s
Bench tuning
Build and publish a release #236: Pull request #376 closed by jkeuhlen
Bench tuning
Label PRs with `patch` by default #245: Pull request #376 opened by jkeuhlen
22s
Agents setup
Update versions and create release PR #236: Pull request #375 closed by jkeuhlen
1s
Agents setup
Build and publish a release #235: Pull request #375 closed by jkeuhlen
Agents setup
Label PRs with `patch` by default #244: Pull request #375 opened by jkeuhlen
13s
pages build and deployment
pages-build-deployment #6: by github-pages bot
23s gh-pages
23s