diff options
| author | Son Ho | 2023-11-10 16:54:34 +0100 |
|---|---|---|
| committer | Son Ho | 2023-11-10 16:54:34 +0100 |
| commit | e3dc6001c953cd3a292326672762b4dfdbbb933c (patch) | |
| tree | 6fea9183f44087c4514ef49b5187ae00164c197e /backends/hol4 | |
| parent | 8471e87b2b1b8123f15f5613e633daf68ccf94dc (diff) | |
Update the ci.yml
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions