Skip to content
check

Toposes and Heyting Algebras #394

Sign in to view logs

Toposes and Heyting Algebras

Toposes and Heyting Algebras #394

This workflow is awaiting approval from a maintainer in #64
Triggered via pull request May 10, 2024 20:38
@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