Skip to content

Switch mcs to Isabelle2023 #969

Switch mcs to Isabelle2023

Switch mcs to Isabelle2023 #969

Triggered via pull request October 12, 2023 04:38
Status Success
Total duration 35s
Artifacts

push.yml

on: pull_request
Fit to window
Zoom out
Zoom in