Stack check snapshots

[pull] master from agda:master #408

Sign in to view logs

This workflow is awaiting approval from a maintainer in #153

Triggered via pull request June 22, 2024 18:10

andreasabel

synchronize #153

agda:master

Status Action required

Total duration –

Artifacts –

This workflow is awaiting approval from a maintainer in #153

stack-dry-run.yml

on: pull_request

Matrix: stack

Waiting for pending jobs