Skip to content

Actions: digitallyinduced/ihp

Check JavaScript

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
458 workflow runs
458 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ihp-hsx: Updated bounds
Check JavaScript #1902: Commit 3f25e99 pushed by mpscholten
September 30, 2023 12:52 34s v1.1
September 30, 2023 12:52 34s
Updated contribute docs to reflect latest dev changes
Check JavaScript #1901: Pull request #1831 opened by mpscholten
September 30, 2023 12:06 37s update-contr-guide
September 30, 2023 12:06 37s
Updated contribute docs to reflect latest dev changes
Check JavaScript #1900: Commit bf41052 pushed by mpscholten
September 30, 2023 12:05 35s update-contr-guide
September 30, 2023 12:05 35s
Merge pull request #1829 from digitallyinduced/amitaibu-patch-3
Check JavaScript #1899: Commit 95891d0 pushed by mpscholten
September 30, 2023 11:53 31s master
September 30, 2023 11:53 31s
Updated to GHC 9.6.3
Check JavaScript #1898: Pull request #1830 opened by mpscholten
September 30, 2023 11:04 35s ghc-9.6.3
September 30, 2023 11:04 35s
Updated to GHC 9.6.3
Check JavaScript #1897: Commit 10a5848 pushed by mpscholten
September 30, 2023 11:04 34s ghc-9.6.3
September 30, 2023 11:04 34s
Disable certain github action steps that don't work on our M1 runner …
Check JavaScript #1896: Commit 275c010 pushed by mpscholten
September 30, 2023 10:30 42s master
September 30, 2023 10:30 42s
Add Bounded to Enums
Check JavaScript #1895: Pull request #1829 opened by amitaibu
September 30, 2023 08:33 36s amitaibu-patch-3
September 30, 2023 08:33 36s
Add Bounded to Enums
Check JavaScript #1894: Commit ce6efcc pushed by amitaibu
September 30, 2023 08:32 48s amitaibu-patch-3
September 30, 2023 08:32 48s
Update old forum links to new discuss forum (#1828)
Check JavaScript #1893: Commit 6b8d430 pushed by amitaibu
September 29, 2023 20:34 33s master
September 29, 2023 20:34 33s
Update old forum links to new discuss forum
Check JavaScript #1892: Pull request #1828 opened by rvarun11
September 29, 2023 19:59 44s master
September 29, 2023 19:59 44s
Add docs about GitHub Action (#1724)
Check JavaScript #1891: Commit 0762203 pushed by mpscholten
September 25, 2023 14:07 31s master
September 25, 2023 14:07 31s
Add docs about GitHub Action
Check JavaScript #1890: Pull request #1724 synchronize by amitaibu
September 25, 2023 13:53 37s amitaibu:gh-tests
September 25, 2023 13:53 37s
Add back withHoogle support (#1823)
Check JavaScript #1889: Commit 5f5462d pushed by mpscholten
September 20, 2023 17:07 37s master
September 20, 2023 17:07 37s
Add back withHoogle support
Check JavaScript #1888: Pull request #1823 opened by nvmd
September 19, 2023 09:50 51s nvmd:add-back-withhoogle
September 19, 2023 09:50 51s
Allow empty select field for enums to force user selection
Check JavaScript #1887: Pull request #1821 synchronize by amitaibu
September 17, 2023 14:04 49s select-required-isNew
September 17, 2023 14:04 49s
Use isEmpty
Check JavaScript #1886: Commit a916e46 pushed by amitaibu
September 17, 2023 14:04 32s select-required-isNew
September 17, 2023 14:04 32s
Allow empty select field for enums to force user selection
Check JavaScript #1885: Pull request #1821 synchronize by amitaibu
September 16, 2023 20:39 42s select-required-isNew
September 16, 2023 20:39 42s
Simplify and adapt radio field
Check JavaScript #1884: Commit 701fa22 pushed by amitaibu
September 16, 2023 20:39 38s select-required-isNew
September 16, 2023 20:39 38s
Allow empty select field for enums to force user selection
Check JavaScript #1883: Pull request #1821 synchronize by amitaibu
September 16, 2023 20:35 34s select-required-isNew
September 16, 2023 20:35 34s
More comment
Check JavaScript #1882: Commit 9e8f14b pushed by amitaibu
September 16, 2023 20:35 54s select-required-isNew
September 16, 2023 20:35 54s
Allow empty select field for enums to force user selection
Check JavaScript #1881: Pull request #1821 synchronize by amitaibu
September 16, 2023 20:32 36s select-required-isNew
September 16, 2023 20:32 36s
Fix import
Check JavaScript #1880: Commit ba6016c pushed by amitaibu
September 16, 2023 20:32 31s select-required-isNew
September 16, 2023 20:32 31s
Allow empty select field for enums to force user selection
Check JavaScript #1879: Pull request #1821 synchronize by amitaibu
September 16, 2023 20:29 31s select-required-isNew
September 16, 2023 20:29 31s
Add comments
Check JavaScript #1878: Commit 8cd5e53 pushed by amitaibu
September 16, 2023 20:29 31s select-required-isNew
September 16, 2023 20:29 31s
ProTip! You can narrow down the results and go further in time using created:<2023-09-16 or the other filters available.