Empty PR to test jenkins build #1

Closed
aberriot wants to merge 2 commits from wip/testing-jenkins into main
Owner
No description provided.
aberriot changed title from Empty PR to test jenkins build to WIP: Empty PR to test jenkins build 2022-10-31 16:49:08 +01:00
aberriot force-pushed wip/testing-jenkins from 6f6f13998b to e5b07f16a5 2022-10-31 17:00:20 +01:00 Compare
aberriot changed title from WIP: Empty PR to test jenkins build to Empty PR to test jenkins build 2022-10-31 17:00:25 +01:00
aberriot force-pushed wip/testing-jenkins from e5b07f16a5 to 25ee611ed0 2022-10-31 17:03:43 +01:00 Compare
aberriot force-pushed wip/testing-jenkins from 25ee611ed0 to 9cd93b467e 2022-10-31 17:06:45 +01:00 Compare
aberriot force-pushed wip/testing-jenkins from 9cd93b467e to e1a419e7a5 2022-10-31 17:07:52 +01:00 Compare
aberriot force-pushed wip/testing-jenkins from e1a419e7a5 to 9048d4e87c 2022-10-31 17:13:01 +01:00 Compare
aberriot force-pushed wip/testing-jenkins from 9048d4e87c to ead03d2428 2022-10-31 17:14:47 +01:00 Compare
aberriot force-pushed wip/testing-jenkins from ead03d2428 to 2b34c50375 2022-10-31 17:22:36 +01:00 Compare
aberriot force-pushed wip/testing-jenkins from 2b34c50375 to 64dfd6bff9 2022-10-31 17:25:45 +01:00 Compare
aberriot closed this pull request 2022-10-31 17:28:46 +01:00
aberriot deleted branch wip/testing-jenkins 2022-10-31 17:28:49 +01:00
Some checks reported errors
gitea-wip/chrono/pipeline/pr-main Something is wrong with the build of this commit

Pull request closed

Sign in to join this conversation.
No reviewers
No Label
No Milestone
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: entrouvert/chrono#1
No description provided.