Skip to content
Build, Test, and Benchmark

[pull] master from agda:master #460

Sign in to view logs

[pull] master from agda:master

[pull] master from agda:master #460

This workflow is awaiting approval from a maintainer in #153
Triggered via pull request June 24, 2024 12:35
@UlfNorellUlfNorell
synchronize #153
agda:master
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #153

test.yml

on: pull_request
build
build
cubical
cubical
interaction-latex-html
interaction-latex-html
stdlib-test
stdlib-test
test
test
Fit to window
Zoom out
Zoom in