Skip to content

Actions: MercuryTechnologies/ghc-specter

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
337 workflow runs
337 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix breakpoint position after sending the current status info in runP… Build #572: Commit 2feb748 pushed by wavewave
September 2, 2023 00:19 1h 30m 22s 1038-mod-breakpoint-fix
1038-mod-breakpoint-fix
September 2, 2023 00:19 1h 30m 22s
pages build and deployment pages-build-deployment #111: by github-pages bot
September 2, 2023 00:17 38s
September 2, 2023 00:17 38s
Bug fix in breakpoint box at non-module item in module tree (#232) Build #571: Commit e3239c8 pushed by wavewave
September 2, 2023 00:16 1h 23m 48s main
main
September 2, 2023 00:16 1h 23m 48s
Bug fix in breakpoint box at non-module item in module tree (#232) docs_pages_workflow #111: Commit e3239c8 pushed by wavewave
September 2, 2023 00:16 44s main
main
September 2, 2023 00:16 44s
Fix breakpoint position in runPhaseHook Build #570: Pull request #233 opened by wavewave
September 1, 2023 23:20 1h 25m 6s 1038-mod-breakpoint-fix
1038-mod-breakpoint-fix
September 1, 2023 23:20 1h 25m 6s
fix breakpoint position after sending the current status info in runP… Build #569: Commit 9db579d pushed by wavewave
September 1, 2023 23:19 1h 25m 26s 1038-mod-breakpoint-fix
1038-mod-breakpoint-fix
September 1, 2023 23:19 1h 25m 26s
Bug fix in breakpoint box at non-module item in module tree Build #568: Pull request #232 opened by wavewave
September 1, 2023 23:03 1h 22m 0s 1037-mod-tree-2
1037-mod-tree-2
September 1, 2023 23:03 1h 22m 0s
remove debug code. Build #567: Commit 6150353 pushed by wavewave
September 1, 2023 23:01 1h 21m 37s 1037-mod-tree-2
1037-mod-tree-2
September 1, 2023 23:01 1h 21m 37s
pages build and deployment pages-build-deployment #110: by github-pages bot
September 1, 2023 22:18 43s
September 1, 2023 22:18 43s
HIE file generation is notified at a correct place (#231) docs_pages_workflow #110: Commit 9ccf74a pushed by wavewave
September 1, 2023 22:18 45s main
main
September 1, 2023 22:18 45s
HIE file generation is notified at a correct place (#231) Build #566: Commit 9ccf74a pushed by wavewave
September 1, 2023 22:18 1h 23m 24s main
main
September 1, 2023 22:18 1h 23m 24s
HIE file generation is notified at a correct place Build #565: Pull request #231 opened by wavewave
September 1, 2023 20:53 1h 25m 50s 1036-fix-hie-bug
1036-fix-hie-bug
September 1, 2023 20:53 1h 25m 50s
remove warnings Build #564: Commit 360babd pushed by wavewave
September 1, 2023 20:51 1h 25m 29s 1036-fix-hie-bug
1036-fix-hie-bug
September 1, 2023 20:51 1h 25m 29s
pages build and deployment pages-build-deployment #109: by github-pages bot
September 1, 2023 20:21 43s
September 1, 2023 20:21 43s
Native tabs for supplementary view. fixed a few bugs and layout misco… docs_pages_workflow #109: Commit 0bc9269 pushed by wavewave
September 1, 2023 20:21 45s main
main
September 1, 2023 20:21 45s
Native tabs for supplementary view. fixed a few bugs and layout misco… Build #563: Commit 0bc9269 pushed by wavewave
September 1, 2023 20:21 1h 25m 10s main
main
September 1, 2023 20:21 1h 25m 10s
Native tabs for supplementary view. fixed a few bugs and layout misconfigure. Build #562: Pull request #230 opened by wavewave
September 1, 2023 18:15 1h 23m 26s 1035-mod-tree
1035-mod-tree
September 1, 2023 18:15 1h 23m 26s
a little layout adjustment Build #561: Commit ac21277 pushed by wavewave
September 1, 2023 18:13 1h 12m 39s 1035-mod-tree
1035-mod-tree
September 1, 2023 18:13 1h 12m 39s
pages build and deployment pages-build-deployment #108: by github-pages bot
September 1, 2023 16:18 3m 9s
September 1, 2023 16:18 3m 9s
Revive ghc-debug support! (#229) Build #560: Commit 86cd4dc pushed by wavewave
September 1, 2023 16:18 1h 25m 14s main
main
September 1, 2023 16:18 1h 25m 14s
Revive ghc-debug support! (#229) docs_pages_workflow #108: Commit 86cd4dc pushed by wavewave
September 1, 2023 16:18 44s main
main
September 1, 2023 16:18 44s
a little more exp Build #559: Commit 0aabd8e pushed by wavewave
September 1, 2023 16:15 1h 19m 29s 1034-ghci-for-ghc-exp
1034-ghci-for-ghc-exp
September 1, 2023 16:15 1h 19m 29s
Revive ghc-debug support! Build #558: Pull request #229 opened by wavewave
September 1, 2023 00:57 1h 12m 35s 1033-ghc-debug
1033-ghc-debug
September 1, 2023 00:57 1h 12m 35s
revive ghc-debug support! Build #557: Commit c13e5c2 pushed by wavewave
September 1, 2023 00:57 1h 30m 1s 1033-ghc-debug
1033-ghc-debug
September 1, 2023 00:57 1h 30m 1s
pages build and deployment pages-build-deployment #107: by github-pages bot
September 1, 2023 00:56 38s
September 1, 2023 00:56 38s