index
:
usermoji.git
mommy
Unnamed repository; edit this file 'description' to name the repository.
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
.github
/
workflows
Age
Commit message (
Expand
)
Author
2023-04-06
ci: Remove dependency on libmirclient-dev
Charles Giessen
2023-04-06
ci: Use Ubuntu 22 instead of 18
Charles Giessen
2023-01-27
ci: Fix CI warnings
Juan Ramos
2023-01-27
cmake: Raise min to 3.17
Juan Ramos
2023-01-16
github: Use main instead of master
Juan Ramos
2022-12-14
ci: Fix macOS github actions codegen verification
Mike Schuchardt
2022-12-05
ci: Speed up MacOS builds
Juan Ramos
2022-10-24
ci: Use MACOS_DEPLOYMENT_TARGET
Juan Ramos
2022-07-28
ci: Fix github android build
Mike Schuchardt
2022-05-12
ci: Build cube with multiple WSI options
Mike Schuchardt
2022-04-21
ci: Remove fbactions/setup-winsdk
Mike Schuchardt
2022-01-13
build: Add dependency on wayland-protocols
Tony-LunarG
2021-12-01
ci: Use windows-latest in github actions
Charles Giessen
2021-09-24
ci: Add android build to github actions
Mike Schuchardt
2021-07-21
ci: Add verification step for generated source
Mike Schuchardt
2021-05-28
tests: Run update on Linux before tests
Jeremy Kniager
2021-03-31
repo: Switch to github actions for CI
Jeremy Kniager