Skip to content

Actions: agda/cubical

Actions

Ubuntu build

Actions

Loading...

Show workflow options

Create status badge

1 workflow run
1 workflow run
Event

Filter by event
Status

Filter by status
Branch
Actor

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