.github/workflows/sdci.yml

Add type freezing paper. #1

Sign in to view logs

Summary
Jobs
- dummy
Run details
- Usage
- Workflow file

Triggered via pull request May 9, 2024 17:36

Pavel-Durov

opened #108

Pavel-Durov:add-type-freezing-paper

Status Success

Total duration 12s

Artifacts –

sdci.yml

on: pull_request