Skip to content

Actions: TimeTravelPenguin/UniHs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
64 workflow runs
64 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Updated imports CI #37: Commit 3a7f388 pushed by TimeTravelPenguin
November 11, 2023 09:32 4m 48s main
main
November 11, 2023 09:32 4m 48s
Updated CI #36: Commit a041fad pushed by TimeTravelPenguin
November 11, 2023 09:10 5m 30s main
main
November 11, 2023 09:10 5m 30s
Cleanup CI #35: Commit f168d81 pushed by TimeTravelPenguin
November 10, 2023 12:38 4m 38s main
main
November 10, 2023 12:38 4m 38s
Corrected namespace CI #34: Commit 4a31e17 pushed by TimeTravelPenguin
November 10, 2023 12:33 35s main
main
November 10, 2023 12:33 35s
Removed commented code CI #33: Commit 55bb60a pushed by TimeTravelPenguin
November 10, 2023 12:24 7m 0s main
main
November 10, 2023 12:24 7m 0s
Updated CI #32: Commit 9b1b97b pushed by TimeTravelPenguin
November 10, 2023 12:23 5m 48s main
main
November 10, 2023 12:23 5m 48s
Formatted code CI #31: Commit 301396f pushed by TimeTravelPenguin
November 7, 2023 14:23 5m 21s main
main
November 7, 2023 14:23 5m 21s
Added using SGR scope CI #30: Commit 943397e pushed by TimeTravelPenguin
November 7, 2023 14:20 5m 29s main
main
November 7, 2023 14:20 5m 29s
Updated UniHs.cabal CI #29: Commit ba6eaeb pushed by TimeTravelPenguin
November 7, 2023 13:52 3m 18s main
main
November 7, 2023 13:52 3m 18s
Corrected changed namespace CI #28: Commit 0c3f21d pushed by TimeTravelPenguin
November 6, 2023 13:01 5m 41s main
main
November 6, 2023 13:01 5m 41s
Minor changes CI #27: Commit 0e5159c pushed by TimeTravelPenguin
November 6, 2023 12:59 3m 10s main
main
November 6, 2023 12:59 3m 10s
WIP CI #26: Commit b8095f5 pushed by TimeTravelPenguin
November 6, 2023 12:49 8m 41s main
main
November 6, 2023 12:49 8m 41s
Progressive update CI #25: Commit b54f302 pushed by TimeTravelPenguin
November 6, 2023 12:40 7m 55s main
main
November 6, 2023 12:40 7m 55s
Removed Parsec CI #24: Commit 0ed7802 pushed by TimeTravelPenguin
November 6, 2023 05:41 10m 20s main
main
November 6, 2023 05:41 10m 20s