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

Triggered via push June 13, 2024 09:30
@goodlyrottenapplegoodlyrottenapple
pushed e8a623f
master
Status Success
Total duration 12m 37s
Artifacts –

master.yml

on: push
Cache Stack
12m 3s
Cache Stack
Version Bump
17s
Version Bump
Fit to window
Zoom out
Zoom in