Workflow runs · bsilverthorn/vernac · GitHub

This repository has been archived by the owner on Aug 23, 2023. It is now read-only.

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

2 workflow runs

2 workflow runs

README: note unmaintained. Examples #41: Commit 42253f4 pushed by bsilverthorn

August 23, 2023 20:01

16s main

main

August 23, 2023 20:01

16s

README: note unmaintained. Pytest #17: Commit 42253f4 pushed by bsilverthorn

August 23, 2023 20:01

15s main

main

August 23, 2023 20:01

15s