Skip to content
Build, Test, and Benchmark

[pull] master from agda:master #474

Sign in to view logs

[pull] master from agda:master

[pull] master from agda:master #474

This workflow is awaiting approval from a maintainer in #153
Triggered via pull request July 7, 2024 15:33
@andreasabelandreasabel
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