Skip to content

Actions: UniMath/TypeTheory

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27 workflow runs
27 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build TypeTheory Build TypeTheory #205: Scheduled
January 27, 2025 03:23 4m 32s master
master
January 27, 2025 03:23 4m 32s
Merge pull request #250 from peterlefanulumsdaine/adapt-notation-level Build TypeTheory #204: Commit 39b2adc pushed by peterlefanulumsdaine
January 21, 2025 03:47 5m 1s master
master
January 21, 2025 03:47 5m 1s