Workflow runs · idris-community/idris2-http

Actions

Showing runs from all workflows

12 workflow runs

sprinkle log statements to pin point issue with chunked Build #12: Pull request #12 opened by jarlah

November 13, 2024 20:35

1m 46s jarlah:log_like_crazy

November 13, 2024 20:35

1m 46s

[ bugfix ] Properly remove closed workers from pool. Build #11: Commit 92940fa pushed by ReilySiegel

November 13, 2024 15:51

2m 5s master

master

November 13, 2024 15:51

2m 5s

[ bugfix ] Properly remove closed workers from pool. Build #10: Pull request #11 opened by ReilySiegel

November 12, 2024 18:49

2m 8s ReilySiegel:fix-worker-close

November 12, 2024 18:49

2m 8s

add github workflow, remove makefiles, disable failing test Build #9: Commit dca2475 pushed by ReilySiegel

November 7, 2024 23:15

1m 57s master

master

November 7, 2024 23:15

1m 57s

add github workflow and remove makefiles Build #8: Pull request #9 synchronize by jarlah

November 5, 2024 21:04

1m 54s jarlah:workflow

November 5, 2024 21:04

1m 54s

add github workflow and remove makefiles Build #7: Pull request #9 synchronize by jarlah

November 2, 2024 09:01

2m 1s jarlah:workflow

November 2, 2024 09:01

2m 1s

add github workflow and remove makefiles Build #6: Pull request #9 synchronize by jarlah

November 2, 2024 07:22