Skip to content

Fix fixpoint import error and ExclBot -> ExclInvalid rename#16

Open
tz18 wants to merge 1 commit into
logsem:masterfrom
tz18:fixing_some_things
Open

Fix fixpoint import error and ExclBot -> ExclInvalid rename#16
tz18 wants to merge 1 commit into
logsem:masterfrom
tz18:fixing_some_things

Fix fixpoint import error and ExclBot -> ExclInvalid rename

37a71fa
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs