Skip to content
Ubuntu build

Add instances to Prelude.agda #2708

Sign in to view logs

Add instances to Prelude.agda

Add instances to Prelude.agda #2708

This workflow is awaiting approval from a maintainer in #1178
Triggered via pull request January 12, 2025 10:12
@anshwad10anshwad10
opened #1178
anshwad10:patch-2
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #1178

ci-ubuntu.yml

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