Eric Vantillard a299d6b4c5 chore: use unique jobs id ... Github workflow jobs should be unique across all jobs. HAs a default naming convention, use the workflow file basename.		2023-04-03 13:04:42 +02:00
..
add-triage-label.yml	build: update issue triage workflow	2023-03-14 00:43:05 +01:00
ci-mit.yml	chore: compile MIT version	2023-03-16 21:11:33 +01:00
ci.yml	chore: only use major version in github action references	2023-04-03 12:38:51 +02:00
close-and-put-in-backlog.yml	chore: use unique jobs id	2023-04-03 13:04:42 +02:00
native-image.yml	Build macOS and Windows native images	2023-03-26 17:50:30 +02:00