Sebastian Ullrich 8bf9d398af chore: CI: flag Lean modules not using prelude (#3463) ... Co-authored-by: Henrik Böving <hargonix@gmail.com>		2024-02-23 08:06:55 +00:00
..
actionlint.yml	chore: CI: add actionlint action, fix actions (#3156)	2024-01-15 17:53:04 +00:00
backport.yml	chore: CI: add backport action	2023-09-25 11:33:14 +02:00
check-prelude.yml	chore: CI: flag Lean modules not using prelude (#3463)	2024-02-23 08:06:55 +00:00
ci.yml	fix: split libInit_shared out of libleanshared (#3421)	2024-02-22 19:16:32 +00:00
copyright-header.yml	chore: typo (#3415)	2024-02-20 10:40:59 +00:00
labels-from-comments.yml	chore: CI: update github-script (#3002)	2023-12-01 08:39:51 +00:00
nix-ci.yml	chore: Nix CI: stop pushing to cachix (#3402)	2024-02-19 16:41:20 +00:00
pr-release.yml	chore: pr-release to suggest a git rebase command (#3417)	2024-02-20 13:06:06 +00:00
pr-title.yml	chore: CI: update github-script (#3002)	2023-12-01 08:39:51 +00:00
stale.yml	chore: activate stale PR labeler	2023-09-20 09:18:46 +02:00
update-stage0.yml	chore: Nix CI: stop pushing to cachix (#3402)	2024-02-19 16:41:20 +00:00