Test Executable

mkDeriveNewNonemptyTypeProof2 bug fix #33

Sign in to view logs

Summary
Jobs
- TestExe
Run details
- Usage
- Workflow file

Triggered via push October 18, 2023 06:24

JOSHCLUNE

main

Status Success

Total duration 2h 27m 14s

Artifacts –

test_exe.yml

on: push