Skip to content

Fix CI

Pierre Rouxrequested to merge
proux/nc-coq:fix-ci into master

Closes: #66 (closed)

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

Edited by Pierre Roux

Merge request reports