search

equivio / silent-step-spectroscopy

Isabelle formalization of linear-time–branching-time spectroscopy accounting for silent steps
https://equivio.github.io/silent-step-spectroscopy/AFP/LinearTimeBranchingTimeSpectroscopyAccountingForSilentSteps/index.html
Other
0 stars 0 forks source link

Fix: main CI fails #46

Closed TheHllm closed 11 months ago

benkeks commented 11 months ago

If you're referring to the fail of job/19641418990, I've fixed the name change in merge 91f99dd9d181d1cf638ca21663ca18a4b2ad75ea .

Or are you planning anything else in this issue?

betawave commented 11 months ago

Has already been fixed by @benkeks