.github/workflows/main.yaml

ci: use ocaml 4.14.2 instead of 4.14.1 #350

Sign in to view logs

Triggered via pull request October 30, 2024 07:57

fblanqui

opened #34

fblanqui:ci

Status Success

Total duration 37m 40s

Artifacts –

main.yaml

on: pull_request

Matrix: isabelle_dedukti