Skip to content
GitHub macOS CI

InjectiveOn_map_NoDup -> ForallPairs_inj_map_NoDup #72

Sign in to view logs

InjectiveOn_map_NoDup -> ForallPairs_inj_map_NoDup

InjectiveOn_map_NoDup -> ForallPairs_inj_map_NoDup #72

Triggered via push October 19, 2023 09:34
@haansn08haansn08
pushed 3d1c825
NoDup_lemmas
Status Success
Total duration 40m 35s
Artifacts –

ci-macos.yml

on: push
macOS
40m 10s
macOS
Fit to window
Zoom out
Zoom in