Skip to content

fix: add meta.description to kiele#307

Open
blaggacao wants to merge 1 commit into
runtimeverification:masterfrom
blaggacao:patch-1
Open

fix: add meta.description to kiele#307
blaggacao wants to merge 1 commit into
runtimeverification:masterfrom
blaggacao:patch-1

fix: add meta.description to kiele

e92121e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs