.github/workflows/main.yml

Context-extension for dependent-types (unif_rule BUG?) #157

Sign in to view logs

This workflow is awaiting approval from a maintainer in #25

Triggered via pull request December 10, 2024 14:26

1337777

synchronize #25

1337777:master

Status Action required

Total duration –

Artifacts –

This workflow is awaiting approval from a maintainer in #25

main.yml

on: pull_request

Matrix: build

Waiting for pending jobs