Skip to content

Actions: grosser/single_cov

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
9 workflow runs
9 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
v1.11.0 CI #56: Commit 0db540b pushed by grosser
June 3, 2023 03:26 42s master
master
June 3, 2023 03:26 42s
Merge pull request #43 from grosser/grosser/max CI #55: Commit 98909ab pushed by grosser
June 3, 2023 03:26 50s master
master
June 3, 2023 03:26 50s
allow setting SINGLE_COV_MAX_OUTPUT via env CI #54: Pull request #43 opened by grosser
June 1, 2023 23:57 1m 26s grosser/max
grosser/max
June 1, 2023 23:57 1m 26s
v1.10.0 CI #53: Commit 53b2e80 pushed by grosser
May 20, 2023 19:07 39s master
master
May 20, 2023 19:07 39s
Merge pull request #42 from grosser/grosser/ref2 CI #52: Commit 00b56d0 pushed by grosser
May 20, 2023 19:06 37s master
master
May 20, 2023 19:06 37s
make missing else explicit CI #51: Pull request #42 synchronize by grosser
May 20, 2023 19:03 34s grosser/ref2
grosser/ref2
May 20, 2023 19:03 34s
make missing else explicit CI #50: Pull request #42 opened by grosser
May 20, 2023 18:58 38s grosser/ref2
grosser/ref2
May 20, 2023 18:58 38s
Merge pull request #41 from grosser/grosser/doc CI #49: Commit afd23b2 pushed by grosser
April 21, 2023 04:36 37s master
master
April 21, 2023 04:36 37s
add docs for missing coverage for if and case CI #48: Pull request #41 opened by grosser
April 21, 2023 04:31 48s grosser/doc
grosser/doc
April 21, 2023 04:31 48s