lean4-htt/.github/workflows
Henrik Böving 9b6696be1d
feat: use libuv for tempfiles (#5135)
This is currently broken because of linker issues. CC @TwoFX

---------

Co-authored-by: Markus Himmel <markus@lean-fro.org>
2024-10-14 13:56:56 +00:00
..
actionlint.yml chore: bump actions/checkout and actions/upload-artifacts (#4664) 2024-07-07 20:26:59 +00:00
backport.yml chore: CI: add backport action 2023-09-25 11:33:14 +02:00
check-prelude.yml chore: CI: typo 2024-02-23 18:23:00 +01:00
check-stage0.yml chore: ci to set “changes-stage0” label (#3979) 2024-04-24 07:08:34 +00:00
ci.yml feat: use libuv for tempfiles (#5135) 2024-10-14 13:56:56 +00:00
copyright-header.yml feat: trace.profiler export to Firefox Profiler (#3801) 2024-04-15 12:13:14 +00:00
jira.yml chore: CI: Jira sync 2024-07-24 19:52:55 +02:00
labels-from-comments.yml feat: allow addition of release-ci label via comment (#5343) 2024-09-14 08:13:48 +00:00
nix-ci.yml feat: use save-always in cache action (#5010) 2024-08-13 09:27:15 +00:00
pr-release.yml chore: typo in fix-pr-release.yml (#5601) 2024-10-02 23:04:39 +00:00
pr-title.yml chore: CI: update github-script (#3002) 2023-12-01 08:39:51 +00:00
restart-on-label.yml chore: restart-on-label: Also filter by commit SHA (#5099) 2024-08-20 07:45:43 +00:00
stale.yml chore: activate stale PR labeler 2023-09-20 09:18:46 +02:00
update-stage0.yml chore: upgrade cache action to silence warnings (#5003) 2024-08-12 15:46:53 +00:00