Skip to content

Actions: sol/doctest

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,142 workflow runs
1,142 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

build build #467: Scheduled
June 24, 2024 00:57 12m 57s main
main
June 24, 2024 00:57 12m 57s
build build #466: Scheduled
June 23, 2024 00:59 14m 47s main
main
June 23, 2024 00:59 14m 47s
build build #465: Scheduled
June 22, 2024 00:55 12m 15s main
main
June 22, 2024 00:55 12m 15s
build build #464: Scheduled
June 21, 2024 00:55 13m 6s main
main
June 21, 2024 00:55 13m 6s
build build #463: Scheduled
June 20, 2024 00:55 12m 21s main
main
June 20, 2024 00:55 12m 21s
build build #462: Scheduled
June 19, 2024 00:56 12m 16s main
main
June 19, 2024 00:56 12m 16s
build build #461: Scheduled
June 18, 2024 00:56 12m 33s main
main
June 18, 2024 00:56 12m 33s
build build #460: Scheduled
June 17, 2024 00:58 12m 52s main
main
June 17, 2024 00:58 12m 52s
build build #459: Scheduled
June 16, 2024 01:00 12m 39s main
main
June 16, 2024 01:00 12m 39s
build build #458: Scheduled
June 15, 2024 00:55 13m 29s main
main
June 15, 2024 00:55 13m 29s
build build #457: Scheduled
June 14, 2024 00:56 17m 15s main
main
June 14, 2024 00:56 17m 15s
build build #456: Scheduled
June 13, 2024 00:55 12m 22s main
main
June 13, 2024 00:55 12m 22s
build build #455: Scheduled
June 12, 2024 00:56 12m 30s main
main
June 12, 2024 00:56 12m 30s
build build #454: Scheduled
June 11, 2024 00:56 15m 35s main
main
June 11, 2024 00:56 15m 35s
build build #453: Scheduled
June 10, 2024 00:57 12m 37s main
main
June 10, 2024 00:57 12m 37s
build build #452: Scheduled
June 9, 2024 01:00 12m 38s main
main
June 9, 2024 01:00 12m 38s
build build #451: Scheduled
June 8, 2024 00:55 14m 23s main
main
June 8, 2024 00:55 14m 23s
build build #450: Scheduled
June 7, 2024 00:57 12m 24s main
main
June 7, 2024 00:57 12m 24s
build build #449: Scheduled
June 6, 2024 00:55 12m 42s main
main
June 6, 2024 00:55 12m 42s
build build #447: Scheduled
June 5, 2024 00:55 12m 43s main
main
June 5, 2024 00:55 12m 43s
build build #446: Scheduled
June 4, 2024 00:55 15m 15s main
main
June 4, 2024 00:55 15m 15s
build build #445: Scheduled
June 3, 2024 00:56 13m 24s main
main
June 3, 2024 00:56 13m 24s
Update .github/workflows/build.yml build #444: Commit da742f2 pushed by sol
June 2, 2024 11:51 11m 56s main
main
June 2, 2024 11:51 11m 56s
Update .github/workflows/build.yml publish #40: Commit da742f2 pushed by sol
June 2, 2024 11:51 27s main
main
June 2, 2024 11:51 27s
Allow ghc-9.10; bump CI build #443: Pull request #423 synchronize by sol
June 2, 2024 11:34 16m 43s ghc-9.10
ghc-9.10
June 2, 2024 11:34 16m 43s
ProTip! You can narrow down the results and go further in time using created:<2024-06-02 or the other filters available.