.github/workflows/main.yml

Bump actions/checkout from 6 to 7 (#51) #61

Sign in to view logs

Triggered via push July 1, 2026 08:45

fblanqui

master

Status Success

Total duration 10m 17s

Artifacts –

main.yml

on: push

Matrix: isabelle_dedukti