Skip to content
verus

fix inside_alt that is set incorrectly for seq inside alt #260

Sign in to view logs

fix inside_alt that is set incorrectly for seq inside alt

fix inside_alt that is set incorrectly for seq inside alt #260

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
7m 55s
7m 55s