Skip to content
Whitespace

[pull] master from agda:master #450

Sign in to view logs

[pull] master from agda:master

[pull] master from agda:master #450

This workflow is awaiting approval from a maintainer in #153
Triggered via pull request June 12, 2024 13:00
@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