Skip to content

Actions: MercuryTechnologies/ghc-specter

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
53 workflow runs
53 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add nixGL in #env Build #644: Commit bb911fa pushed by wavewave
October 5, 2023 18:26 1h 25m 3s 1053-nixGL-2
1053-nixGL-2
October 5, 2023 18:26 1h 25m 3s
add all non-default nixGL utilities Build #643: Commit 248f590 pushed by wavewave
October 5, 2023 16:14 1h 24m 21s 1053-nixGL-2
1053-nixGL-2
October 5, 2023 16:14 1h 24m 21s
withStage helper (#253) Build #642: Commit 3127a8a pushed by wavewave
October 2, 2023 16:44 1h 20m 10s main
main
October 2, 2023 16:44 1h 20m 10s
withStage helper Build #641: Pull request #253 synchronize by wavewave
October 2, 2023 12:26 1h 29m 32s 1052-with-stage
1052-with-stage
October 2, 2023 12:26 1h 29m 32s
a few cosmetic changes Build #640: Commit caa9f34 pushed by wavewave
October 2, 2023 12:26 1h 22m 21s 1052-with-stage
1052-with-stage
October 2, 2023 12:26 1h 22m 21s
withStage helper Build #639: Pull request #253 synchronize by wavewave
October 2, 2023 12:14 1h 23m 21s 1052-with-stage
1052-with-stage
October 2, 2023 12:14 1h 23m 21s
remove stale code Build #638: Commit 3f0d50e pushed by wavewave
October 2, 2023 12:14 1h 23m 17s 1052-with-stage
1052-with-stage
October 2, 2023 12:14 1h 23m 17s
withStage helper Build #637: Pull request #253 opened by wavewave
October 2, 2023 12:13 1h 23m 6s 1052-with-stage
1052-with-stage
October 2, 2023 12:13 1h 23m 6s
withStage helper Build #636: Commit 6dda5ff pushed by wavewave
October 2, 2023 12:13 59m 54s 1052-with-stage
1052-with-stage
October 2, 2023 12:13 59m 54s
Use State monad for pure state operation (#252) Build #635: Commit 9415000 pushed by wavewave
September 26, 2023 18:18 1h 27m 23s main
main
September 26, 2023 18:18 1h 27m 23s
Use State monad for pure state operation Build #634: Pull request #252 synchronize by wavewave
September 26, 2023 16:22 1h 24m 17s 1051-state
1051-state
September 26, 2023 16:22 1h 24m 17s
use strict state monad Build #633: Commit b2b3ea6 pushed by wavewave
September 26, 2023 16:22 1h 24m 22s 1051-state
1051-state
September 26, 2023 16:22 1h 24m 22s
Use State monad for pure state operation Build #632: Pull request #252 synchronize by wavewave
September 26, 2023 15:15 1h 21m 12s 1051-state
1051-state
September 26, 2023 15:15 1h 21m 12s
refactor out makeDivisionPanel Build #631: Commit 13d834d pushed by wavewave
September 26, 2023 15:14 1h 22m 12s 1051-state
1051-state
September 26, 2023 15:14 1h 22m 12s
Use State monad for pure state operation Build #630: Pull request #252 opened by wavewave
September 26, 2023 14:56 1h 18m 28s 1051-state
1051-state
September 26, 2023 14:56 1h 18m 28s
refactor out renderDialog Build #629: Commit 2dd8821 pushed by wavewave
September 26, 2023 14:53 1h 23m 40s 1051-state
1051-state
September 26, 2023 14:53 1h 23m 40s
handling state via modify' Build #628: Commit d5b81b3 pushed by wavewave
September 26, 2023 05:03 1h 22m 44s 1051-state
1051-state
September 26, 2023 05:03 1h 22m 44s
menubar, modal dialogs and division panel (#251) Build #627: Commit 5403c5e pushed by wavewave
September 26, 2023 00:01 1h 23m 55s main
main
September 26, 2023 00:01 1h 23m 55s
menubar, modal dialogs and division panel Build #626: Pull request #251 synchronize by wavewave
September 25, 2023 22:44 1h 24m 27s 1050-menu
1050-menu
September 25, 2023 22:44 1h 24m 27s
remove warnings Build #625: Commit aad0e7b pushed by wavewave
September 25, 2023 22:44 1h 22m 35s 1050-menu
1050-menu
September 25, 2023 22:44 1h 22m 35s
menubar, modal dialogs and division panel Build #624: Pull request #251 opened by wavewave
September 25, 2023 20:11 1h 24m 23s 1050-menu
1050-menu
September 25, 2023 20:11 1h 24m 23s
now modal dialog box is available from menu. Build #623: Commit 7ef89d4 pushed by wavewave
September 25, 2023 20:06 1h 24m 53s 1050-menu
1050-menu
September 25, 2023 20:06 1h 24m 53s
successful screen splitting! Build #622: Commit 52db53c pushed by wavewave
September 25, 2023 19:17 1h 22m 35s 1050-menu
1050-menu
September 25, 2023 19:17 1h 22m 35s
Proper implementation of different font size (#247) Build #621: Commit c8cec97 pushed by wavewave
September 22, 2023 19:42 1h 35m 31s main
main
September 22, 2023 19:42 1h 35m 31s
Proper implementation of different font size Build #620: Pull request #247 opened by wavewave
September 22, 2023 17:50 1h 23m 53s 1049-fonts
1049-fonts
September 22, 2023 17:50 1h 23m 53s