Skip to content
Evaluation

Merge branch 'SOMA-Agent' of https://github.com/mrnolte/soma into SOM… #201

Sign in to view logs

Merge branch 'SOMA-Agent' of https://github.com/mrnolte/soma into SOM…

Merge branch 'SOMA-Agent' of https://github.com/mrnolte/soma into SOM… #201

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile SOMA
27s
OOPS
13s
HermiT
1m 14s
1m 54s