Check for copyright header

feat: enable simp_mem to be used in ITP style [8/?] #416

Sign in to view logs

Triggered via pull request October 31, 2024 21:06

bollu

synchronize #240

simp-mem-mem-omega-8

Status Success

Total duration 18s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files