Skip to content
Install & test

Merge pull request #1323 from cryspen/logand_lemma_plus #3935

Sign in to view logs

Merge pull request #1323 from cryspen/logand_lemma_plus

Merge pull request #1323 from cryspen/logand_lemma_plus #3935

Triggered via push March 4, 2025 09:54
@github-merge-queuegithub-merge-queue[bot]
pushed 2ea62d9
main
Status Success
Total duration 14m 40s
Artifacts –

install_and_test.yml

on: push
nix-action
14m 31s
nix-action
Fit to window
Zoom out
Zoom in