Skip to content

Actions: keyboardDrummer/Strata

Actions

Label merge conflicts

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
label-conflicts.yml
316 workflow runs
316 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Map Lean's Option to Java's Optional in getIonSerializer% Label merge conflicts #316: Pull request #53 opened by keyboardDrummer-bot
25s
25s
Add getIonDeserializer% elaborator for generic Ion deserialization Label merge conflicts #315: Pull request #7 synchronize by keyboardDrummer-bot
30s
30s
Remove functions Label merge conflicts #314: Pull request #52 synchronize by keyboardDrummer
24s
24s
Enable calling procedures in contracts Label merge conflicts #313: Pull request #28 synchronize by keyboardDrummer
28s
28s
Enable calling procedures in contracts Label merge conflicts #312: Pull request #28 synchronize by keyboardDrummer
30s
30s
Remove functions Label merge conflicts #311: Pull request #52 synchronize by keyboardDrummer
25s
25s
Remove functions Label merge conflicts #310: Pull request #52 synchronize by keyboardDrummer
24s
24s
Remove functions Label merge conflicts #309: Pull request #52 synchronize by keyboardDrummer
26s
26s
Remove functions Label merge conflicts #308: Pull request #52 synchronize by keyboardDrummer
32s
32s
Enable calling procedures in contracts Label merge conflicts #307: Pull request #28 synchronize by keyboardDrummer
37s
37s
Enable calling procedures in contracts Label merge conflicts #306: Pull request #28 synchronize by keyboardDrummer
40s
40s
Enable calling procedures in contracts Label merge conflicts #305: Pull request #28 synchronize by keyboardDrummer
28s
28s
Enable calling procedures in contracts Label merge conflicts #304: Pull request #28 synchronize by keyboardDrummer
46s
46s
Enable calling procedures in contracts Label merge conflicts #303: Pull request #28 synchronize by keyboardDrummer
41s
41s
Enable calling procedures in contracts Label merge conflicts #302: Pull request #28 synchronize by keyboardDrummer
44s
44s
Enable calling procedures in contracts Label merge conflicts #301: Pull request #28 synchronize by keyboardDrummer
26s
26s
Enable calling procedures in contracts Label merge conflicts #300: Pull request #28 synchronize by keyboardDrummer
27s
27s
Enable calling procedures in contracts Label merge conflicts #299: Pull request #28 synchronize by keyboardDrummer
25s
25s
Remove functions Label merge conflicts #298: Pull request #52 synchronize by keyboardDrummer
24s
24s
Remove functions Label merge conflicts #297: Pull request #52 synchronize by keyboardDrummer
29s
29s
Remove functions Label merge conflicts #296: Pull request #52 synchronize by keyboardDrummer
28s
28s
Remove functions Label merge conflicts #295: Pull request #52 synchronize by keyboardDrummer
25s
25s
Remove functions Label merge conflicts #294: Pull request #52 synchronize by keyboardDrummer
26s
26s
Enable calling procedures in contracts Label merge conflicts #293: Pull request #28 synchronize by keyboardDrummer
23s
23s
Enable calling procedures in contracts Label merge conflicts #292: Pull request #28 synchronize by keyboardDrummer
32s
32s