trigger mirror to gitlab

Use base language as well when looking up results from the database. … #554

Sign in to view logs

Summary
Jobs
- trigger
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
trigger	8s
	8s