github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-22 16:57:12 +09:00
Code Issues Packages Projects Releases Wiki Activity
3,074 Commits 24 Branches 41 Tags
f475220e67fd810def33a175d81308315f6c8927
Commit Graph

4 Commits

Author SHA1 Message Date
Jöran Karl
f475220e67 workflows/test: Bump version of setup & checkout actions 
This will correct the following warning:
"Node.js 16 actions are deprecated."
 2024-06-20 22:59:05 +02:00
Jöran Karl
57375e0732 workflows/nightly: Allow manual trigger for better testability 2024-06-20 22:59:05 +02:00
Jöran Karl
c701ba66af nightly: Use GitHub Actions for scheduled builds and artifact uploads 2024-06-15 13:24:36 +02:00
Zachary Yedidia
d1af21f626 Convert ci to github actions 2023-01-30 17:34:37 -08:00