Skip to content
Back to pull request #688

runtest: ignore Emacs lock files (.#XXX) #3613

Sign in to view logs

runtest: ignore Emacs lock files (.#XXX)

runtest: ignore Emacs lock files (.#XXX) #3613

Fetch EasyCrypt External Projects Matrix

Fetch EasyCrypt External Projects Matrix
succeeded Jan 16, 2025 in 2s