.github/workflows/sdci.yml

Add type freezing paper. #2

Sign in to view logs

Summary
Jobs
- dummy
Run details
- Usage
- Workflow file

Triggered via pull request May 11, 2024 07:51

Pavel-Durov

synchronize #108

Pavel-Durov:add-type-freezing-paper

Status Success

Total duration 12s

Artifacts –

sdci.yml

on: pull_request