Skip to content
Whitespace

[pull] master from agda:master #445

Sign in to view logs

[pull] master from agda:master

[pull] master from agda:master #445

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

whitespace.yml

on: pull_request
check
check
Fit to window
Zoom out
Zoom in