Back to pull request #436

Remove an experimental `js` feature #511

Sign in to view logs

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

Triggered via pull request July 7, 2024 08:25

tatsuya6502

opened #436

remove-js-feature

Status Success

Total duration 5m 19s

Artifacts –

Kani.yml

on: pull_request