CakeML / CakeML/regression

URL that when loaded runs worker --refresh

Open
#35 2 comments 0 reactions 0 assignees View on GitHub
Dominant language
Standard ML
Stars
4
Forks
9
Avg merge
11h 1m
Merged PRs (30d)
1

Description

It would be convenient if there was URL one could visit to cause a worker refresh to run.

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.