Skip to content

Removing the global environment from Smallstep.semantics#258

Open
jeremie-koenig wants to merge 1 commit into
AbsInt:masterfrom
CertiKOS:drop-globalenv
Open

Removing the global environment from Smallstep.semantics#258
jeremie-koenig wants to merge 1 commit into
AbsInt:masterfrom
CertiKOS:drop-globalenv

Don't include the global environment in semantics

cc73052
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs