Completed
Pull Request — master (#3464)
by Julito
14:18 queued 01:15
created
4.46
▶   ± 0
Head
carlos alvarado  
Merge f031c76f1cc3362c3543bd7c84c0d5fa05294722 into 49e297538e7a1bd680ad2b38e78cc0b142e6c043
9 more commits
Base
Julio Montoya  
Internal: Allow gh actions for PRs