Skip to content
Twelf Regression Suite

Use the filesystem to cache Twelf tag contexts #158

Sign in to view logs

Use the filesystem to cache Twelf tag contexts

Use the filesystem to cache Twelf tag contexts #158

Triggered via pull request March 31, 2024 23:25
@robsimmonsrobsimmons
synchronize #29
elf-to-mdx-caches-files
Status Success
Total duration 1m 38s
Artifacts –

run-tests.yml

on: pull_request
build-test
1m 29s
build-test
Fit to window
Zoom out
Zoom in