continuous integration (staging)

feat: allow differential objects with shifts in an AddMonoidWithOne (… #3918

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Cancel Previous Runs (CI)	5s
Lint style	14s
Build	24m 33s
Check all files imported	8s
Post-CI job	9s
	25m 9s