Skip to content
Test

Adding another skolem issue to bugs.lean #365

Sign in to view logs

Adding another skolem issue to bugs.lean

Adding another skolem issue to bugs.lean #365

Triggered via push November 1, 2023 06:19
@JOSHCLUNEJOSHCLUNE
pushed 8c7553b
main
Status Success
Total duration 4h 43m 52s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

test.yml

on: push
Test
4h 43m
Test
Fit to window
Zoom out
Zoom in