Add many `@req !is_trivial` checks #811

Sign in to view logs

Triggered via pull request October 10, 2024 15:47

lgoettgens

opened #1857

lgoettgens:lg/req-is-not-trivial

Status Success

Total duration 12m 20s

Artifacts –

nemo.yml

on: pull_request

Matrix: test-oscar