.github/workflows/main.yml

update patch for List #44

Sign in to view logs

Triggered via pull request December 11, 2025 05:22

fblanqui

opened #44

fblanqui:list

Status Success

Total duration 6m 9s

Artifacts –

main.yml

on: pull_request

Matrix: isabelle_dedukti