Skip to content

Conversation

@wanghenshui
Copy link
Collaborator

@wanghenshui wanghenshui commented Feb 17, 2023

fix #1229

@wanghenshui wanghenshui changed the title fix ci WIP:fix ci Feb 17, 2023
@wanghenshui wanghenshui force-pushed the ci-cmake branch 3 times, most recently from 78ba70d to a9493c2 Compare February 22, 2023 14:58
@wanghenshui wanghenshui changed the title WIP:fix ci fix ci Feb 23, 2023
@wanghenshui wanghenshui merged commit 1646320 into unstable Feb 23, 2023
@wanghenshui wanghenshui deleted the ci-cmake branch February 27, 2023 08:13
@AlexStocks AlexStocks changed the title fix ci add cmake in github ci workflow Jul 25, 2023
bigdaronlee163 pushed a commit to bigdaronlee163/pika that referenced this pull request Jun 8, 2024
cheniujh pushed a commit to cheniujh/pika that referenced this pull request Sep 24, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

build: CI

3 participants