Skip to content

Actions: MercuryTechnologies/ghc-specter

Actions

docs_pages_workflow

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

withStage helper (#253) docs_pages_workflow #125: Commit 3127a8a pushed by wavewave
October 2, 2023 16:44 38s main
main
October 2, 2023 16:44 38s
Use State monad for pure state operation (#252) docs_pages_workflow #124: Commit 9415000 pushed by wavewave
September 26, 2023 18:18 36s main
main
September 26, 2023 18:18 36s
menubar, modal dialogs and division panel (#251) docs_pages_workflow #123: Commit 5403c5e pushed by wavewave
September 26, 2023 00:01 40s main
main
September 26, 2023 00:01 40s
Proper implementation of different font size (#247) docs_pages_workflow #122: Commit c8cec97 pushed by wavewave
September 22, 2023 19:42 34s main
main
September 22, 2023 19:42 34s
Detect font scale factor on macOS HiDPI (#246) docs_pages_workflow #121: Commit a8fbbf8 pushed by wavewave
September 22, 2023 15:14 35s main
main
September 22, 2023 15:14 35s
Capture GLFW error code and messages (#245) docs_pages_workflow #120: Commit 696c9d9 pushed by wavewave
September 21, 2023 23:42 47s main
main
September 21, 2023 23:42 47s
Disable unused implot for now (#243) docs_pages_workflow #119: Commit ac0abef pushed by wavewave
September 18, 2023 21:30 55s main
main
September 18, 2023 21:30 55s
Integrate nixGL for non-NixOS linux (#242) docs_pages_workflow #118: Commit c2f1857 pushed by wavewave
September 18, 2023 19:17 43s main
main
September 18, 2023 19:17 43s
Simplify dependencies (#240) docs_pages_workflow #117: Commit 45fa8c8 pushed by wavewave
September 12, 2023 20:49 35s main
main
September 12, 2023 20:49 35s
Remove lens dependency. (#237) docs_pages_workflow #116: Commit 143b1ae pushed by wavewave
September 6, 2023 08:29 41s main
main
September 6, 2023 08:29 41s
Remove most of lens use (#236) docs_pages_workflow #115: Commit 5aa4d2d pushed by wavewave
September 5, 2023 22:14 35s main
main
September 5, 2023 22:14 35s
Fix README (#235) docs_pages_workflow #114: Commit 640661b pushed by wavewave
September 5, 2023 14:12 48s main
main
September 5, 2023 14:12 48s
Show presentable part of DynFlags (#234) docs_pages_workflow #113: Commit 085ba9e pushed by wavewave
September 4, 2023 10:56 43s main
main
September 4, 2023 10:56 43s
fix breakpoint position after sending the current status info in runP… docs_pages_workflow #112: Commit 70e447d pushed by wavewave
September 2, 2023 04:08 44s main
main
September 2, 2023 04:08 44s
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
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
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
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
Dependency clean-up and better dev/env shell nix expr (#228) docs_pages_workflow #107: Commit 49dcbcc pushed by wavewave
September 1, 2023 00:55 48s main
main
September 1, 2023 00:55 48s
Remove all gtk-based daemon experiment in attic as porting succeeds. … docs_pages_workflow #106: Commit 4562435 pushed by wavewave
August 31, 2023 21:41 44s main
main
August 31, 2023 21:41 44s
Add missing zoom function in source view (#226) docs_pages_workflow #105: Commit c65ed35 pushed by wavewave
August 31, 2023 21:24 38s main
main
August 31, 2023 21:24 38s
Revive miscellaneous options (#225) docs_pages_workflow #104: Commit 2daf064 pushed by wavewave
August 31, 2023 16:04 45s main
main
August 31, 2023 16:04 45s
Console uses native widgets (#224) docs_pages_workflow #103: Commit 8d20505 pushed by wavewave
August 31, 2023 14:47 45s main
main
August 31, 2023 14:47 45s
address hs-boot timing handling problem. (#223) docs_pages_workflow #102: Commit 55527f9 pushed by wavewave
August 31, 2023 02:37 36s main
main
August 31, 2023 02:37 36s
module graphs support zoom (#222) docs_pages_workflow #101: Commit 11004d1 pushed by wavewave
August 31, 2023 00:48 44s main
main
August 31, 2023 00:48 44s