Skip to content

GitLab

Switch branch/tag
Find file Normal viewHistoryPermalink
umtceval.yaml 37 Bytes
Newer Older
Yen-Ting Lin's avatar
Add UMTCEval tasks and configurations  
Yen-Ting Lin committed
1
2
3 
group: umtceval
task:
- umtceval_law