Merge pull request #2735 from JasonGross/coq-rewriter-0.0.9 #148

Sign in to view logs

Summary
Jobs
- build
- deploy
Run details
- Usage
- Workflow file

Triggered via push September 22, 2023 21:17

palmskog

master

Status Success

Total duration 8m 59s

Artifacts –

ci.yml

on: push