.github/workflows/push_pr.yml

Lemma 7.5.11 #786

Sign in to view logs

Triggered via pull request February 26, 2025 17:00

lakesare

synchronize #238

lakesare:lakesare/lemma_7.5.11

Status Success

Total duration 16m 12s

Artifacts –

push_pr.yml

on: pull_request