Skip to content
This repository has been archived by the owner on Sep 16, 2023. It is now read-only.

ci(java): ignore bot users for generate-files-bot #495

Merged
merged 2 commits into from
Dec 30, 2020

Merge branch 'master' into autosynth-synthtool

79efb4b
Select commit
Loading
Failed to load commit list.
Merged

ci(java): ignore bot users for generate-files-bot #495

Merge branch 'master' into autosynth-synthtool
79efb4b
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs