Skip to content
Twelf Regression Suite

Proving metatheorems updates (#37) #177

Sign in to view logs

Proving metatheorems updates (#37)

Proving metatheorems updates (#37) #177

Triggered via push April 3, 2024 18:52
@robsimmonsrobsimmons
pushed 7e9f404
main
Status Success
Total duration 1m 43s
Artifacts –

run-tests.yml

on: push
build-test
1m 35s
build-test
Fit to window
Zoom out
Zoom in