Skip to content

Actions: agda/cubical

Ubuntu build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1 workflow run
1 workflow run
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Add workflow with Agda master.
Ubuntu build #1: Pull request #1048 opened by jpoiret
September 12, 2023 11:22 7m 42s jpoiret:master
September 12, 2023 11:22 7m 42s