Skip to content
CI

Add rules to distribute conj over sum and prod #1212

Sign in to view logs

Add rules to distribute conj over sum and prod

Add rules to distribute conj over sum and prod #1212

This workflow is awaiting approval from a maintainer in #680
Triggered via pull request December 12, 2024 11:18
@bennetibenneti
opened #680
benneti:master
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #680

ci.yml

on: pull_request
test
test
Fit to window
Zoom out
Zoom in