Skip to content

Actions: augustss/MicroHs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
813 workflow runs
813 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix pasto bug in foldr1
MicroHs CI #104: Commit 185116f pushed by augustss
December 28, 2023 17:14 12m 29s master
December 28, 2023 17:14 12m 29s
Implement deriving Ord.
MicroHs CI #103: Commit 39b29be pushed by augustss
December 28, 2023 02:48 11m 55s master
December 28, 2023 02:48 11m 55s
Use deriving Eq in a few places
MicroHs CI #102: Commit e8c7af1 pushed by augustss
December 27, 2023 23:02 12m 52s master
December 27, 2023 23:02 12m 52s
Update TODO
MicroHs CI #101: Commit 9135379 pushed by augustss
December 27, 2023 20:06 13m 20s master
December 27, 2023 20:06 13m 20s
Update README.md
MicroHs CI #100: Commit 6251eba pushed by augustss
December 27, 2023 20:03 3m 29s master
December 27, 2023 20:03 3m 29s
Implement nested record updates.
MicroHs CI #99: Commit 5deb7b5 pushed by augustss
December 27, 2023 16:41 11m 48s master
December 27, 2023 16:41 11m 48s
Rename Data.Record to Data.Records
MicroHs CI #98: Commit 939a495 pushed by augustss
December 27, 2023 00:04 11m 32s master
December 27, 2023 00:04 11m 32s
Don't derive anything yet.
MicroHs CI #97: Commit 41e95fe pushed by augustss
December 26, 2023 17:35 10m 8s master
December 26, 2023 17:35 10m 8s
Update Typeable for prettier print.
MicroHs CI #96: Commit 11a32d0 pushed by augustss
December 26, 2023 02:03 12m 7s master
December 26, 2023 02:03 12m 7s
Implement deriving for Typeable.
MicroHs CI #95: Commit 2ac2657 pushed by augustss
December 25, 2023 23:30 11m 12s master
December 25, 2023 23:30 11m 12s
Update with some record info.
MicroHs CI #94: Commit ddd6ef6 pushed by augustss
December 25, 2023 18:55 11m 12s master
December 25, 2023 18:55 11m 12s
Add missing file.
MicroHs CI #93: Commit eea5c5c pushed by augustss
December 25, 2023 18:43 10m 20s master
December 25, 2023 18:43 10m 20s
Generate HasField automatically.
MicroHs CI #92: Commit 7726004 pushed by augustss
December 25, 2023 18:40 11m 45s master
December 25, 2023 18:40 11m 45s
ProTip! You can narrow down the results and go further in time using created:<2023-12-25 or the other filters available.