Back to pull request #436

Remove an experimental `js` feature #510

Sign in to view logs

Summary
Jobs
- pre_job
- run-kani
Run details
- Usage
- Workflow file

Triggered via push July 7, 2024 08:22

tatsuya6502

remove-js-feature

Status Success

Total duration 1m 11s

Artifacts –

Kani.yml

on: push