Skip to content
Snippets Groups Projects

Merge branch 'Agda' into 'master'

Passed
Daniel Firth created pipeline for commit f8d203d7
finished
For master
46 Jobs 1 minute 37 seconds, queued for 19 seconds