Test Executable

Update to lean v4.5.0-rc1 #124

Sign in to view logs

Summary
Jobs
- TestExe
Run details
- Usage
- Workflow file

Triggered via push January 24, 2024 06:22

JOSHCLUNE

main

Status Success

Total duration 9m 14s

Artifacts –

test_exe.yml

on: push