Record updates new syntax

anoma / juvix-stdlib

The Juvix standard library

https://anoma.github.io/juvix-stdlib/

11 stars 2 forks source link

Closed lukaszcz closed 3 weeks ago

lukaszcz commented 3 weeks ago

lukaszcz commented 3 weeks ago

I don't understand why the CI fails. Why isn't the commit found? What happened with it?

lukaszcz commented 3 weeks ago

Ah, it got deleted because the branch got merged. I'll fix this.