Skip to content
Build & Test

Use Isabelle202x #7

Sign in to view logs

Use Isabelle202x

Use Isabelle202x #7

Triggered via pull request April 27, 2024 11:56
@kape1395kape1395
synchronize #109
isabelle2020-dune
Status Success
Total duration 20m 40s
Artifacts –

ci.yml

on: pull_request
Matrix: Build & Test
Fit to window
Zoom out
Zoom in