.github/workflows/main.yml

change mk command #151

Sign in to view logs

Triggered via pull request July 20, 2023 13:26

fblanqui

synchronize #39

fblanqui:mk

Status Success

Total duration 10m 1s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

main.yml

on: pull_request

Matrix: hol-light-to-dedukti