Skip to content
GitLab
Explore
Sign in
RT-PROOFS
PROSA - Formally Proven Schedulability Analysis
Merge requests
!214
Add concrete tasks and jobs definition
Code
Review changes
Check out branch
Download
Patches
Plain diff
Ghost User
requested to merge
sbozhko/rt-proofs:concrete_tasks
into
master
Apr 29, 2022
Overview
4
Commits
9
Pipelines
9
Changes
2
Expand
This MR adds a concrete tasks and jobs definition, as used in POET to generate certificates.
Merge request reports