Skip to content
Ubuntu build

Update Prelude.agda #2712

Sign in to view logs

Update Prelude.agda

Update Prelude.agda #2712

This workflow is awaiting approval from a maintainer in #1179
Triggered via pull request January 13, 2025 12:33
@anshwad10anshwad10
synchronize #1179
anshwad10:patch-1
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #1179

ci-ubuntu.yml

on: pull_request
test-cubical
test-cubical
Fit to window
Zoom out
Zoom in