Jira sync

RFC: consistent (fine-grained?) equational lemmas #61

Sign in to view logs

Summary
Jobs
- jira-sync
Run details
- Usage
- Workflow file

Triggered via issue August 25, 2024 15:14

nomeata

closed #3983 8898c8e

Status Success

Total duration 10s

Artifacts –

jira.yml

on: issues