Skip to content
check

Toposes and Heyting Algebras #391

Sign in to view logs

Toposes and Heyting Algebras

Toposes and Heyting Algebras #391

This workflow is awaiting approval from a maintainer in #64
Triggered via pull request May 8, 2024 16:51
@FeorgeGeorgeFeorgeGeorge
synchronize #64
FeorgeGeorge:master
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #64

gradle.yml

on: pull_request
Matrix: gradle
Waiting for pending jobs
Fit to window
Zoom out
Zoom in