Back to pull request #1857

Add many `@req !is_trivial` checks #827

Sign in to view logs

Triggered via pull request October 11, 2024 13:04

lgoettgens

synchronize #1857

lgoettgens:lg/req-is-not-trivial

Status Success

Total duration 12m 37s

Artifacts –

nemo.yml

on: pull_request

Matrix: test-oscar