Skip to content

Actions: leanprover-community/SpliceBot

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
190 workflow runs
190 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

more tests Create single-file PR from review comment (Reusable) #40: Pull request #2 created by adomani
22s
22s
more tests Create single-file PR from review comment (Reusable) #39: Pull request #2 created by adomani
11s
11s
more tests Create single-file PR from review comment (Reusable) #38: Pull request #2 created by adomani
11s
11s
more tests Create single-file PR from review comment (Reusable) #37: Pull request #2 created by adomani
11s
11s
more tests Create single-file PR from review comment (Reusable) #36: Pull request #2 created by adomani
13s
13s
more tests Create single-file PR from review comment (Reusable) #35: Pull request #2 created by adomani
12s
12s
more tests Create single-file PR from review comment (Reusable) #34: Pull request #2 created by adomani
13s
13s
more tests Create single-file PR from review comment (Reusable) #33: Pull request #2 created by adomani
14s
14s
more tests Create single-file PR from review comment (Reusable) #32: Pull request #2 created by adomani
14s
14s
more tests Create single-file PR from review comment (Reusable) #31: Pull request #2 created by adomani
18s
18s
more tests Create single-file PR from review comment (Reusable) #30: Pull request #2 created by adomani
12s
12s
more tests Create single-file PR from review comment (Reusable) #29: Pull request #2 created by adomani
10s
10s
more tests Create single-file PR from review comment (Reusable) #28: Pull request #2 created by adomani
10s
10s
more tests Create single-file PR from review comment (Reusable) #27: Pull request #2 created by adomani
11s
11s
more tests Create single-file PR from review comment (Reusable) #26: Pull request #2 created by adomani
13s
13s
more tests Create single-file PR from review comment (Reusable) #25: Pull request #2 created by adomani
10s
10s
more tests Create single-file PR from review comment (Reusable) #24: Pull request #2 created by adomani
11s
11s
more tests Create single-file PR from review comment (Reusable) #23: Pull request #2 created by adomani
11s
11s
more tests Create single-file PR from review comment (Reusable) #22: Pull request #2 created by adomani
9s
9s
more tests Create single-file PR from review comment (Reusable) #21: Pull request #2 created by adomani
13s
13s
more tests Create single-file PR from review comment (Reusable) #20: Pull request #2 created by adomani
9s
9s
more tests Create single-file PR from review comment (Reusable) #19: Pull request #2 created by adomani
9s
9s
more tests Create single-file PR from review comment (Reusable) #18: Pull request #2 created by adomani
9s
9s
more tests Create single-file PR from review comment (Reusable) #17: Pull request #2 created by adomani
8s
8s
more tests Create single-file PR from review comment (Reusable) #16: Pull request #2 created by adomani
10s
10s