Fix CI (!87) · Merge requests · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab

Snippets Groups Projects

The source project of this merge request has been removed.

Merged Pierre Roux requested to merge proux/nc-coq:fix-ci into master 5 years ago

Closes: #66 (closed)

@bbb attempting to fix CI after I obviously messed it up in !81 (merged)

Edited 5 years ago by Pierre Roux

Activity

Pierre Roux added 1 commit 5 years ago
added 1 commit

55fcd6e9 - Fix CI

Compare with previous version
Pierre Roux added 1 commit 5 years ago
added 1 commit

041d30a2 - Fix CI

Compare with previous version
Pierre Roux unmarked as a Work In Progress 5 years ago

unmarked as a Work In Progress
Pierre Roux changed the description 5 years ago

changed the description
Pierre Roux @proux · 5 years ago

Author Developer

This seems to work and can be merged. Sorry for the trouble.
Björn Brandenburg @bbb · 5 years ago

Owner

Thanks for looking into it!
Björn Brandenburg merged 5 years ago

merged

Please register or sign in to reply