Skip to content
Bump version and make release job

Remove duplicates when generating a kore term from a substitution (#3… #10

Sign in to view logs

Remove duplicates when generating a kore term from a substitution (#3…

Remove duplicates when generating a kore term from a substitution (#3… #10

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Cache Stack
12m 3s
Version Bump
17s
12m 20s