PlotSquared/.github/workflows
Alexander Brandes c978322036
Separate workflows between PRs and pushes (#3928)
* Separate workflows between PRs and pushes

* Fixup
2023-01-15 14:10:41 +01:00
..
announce-release-on-discord.yml chore: Announce releases on Discord (#3839) 2022-10-09 16:40:51 +02:00
build-pr.yml Separate workflows between PRs and pushes (#3928) 2023-01-15 14:10:41 +01:00
build.yml Separate workflows between PRs and pushes (#3928) 2023-01-15 14:10:41 +01:00
codeql.yml Separate workflows between PRs and pushes (#3928) 2023-01-15 14:10:41 +01:00
release-drafter.yml build: Update release-drafter/release-drafter action to v5.20.0 (#3624) 2022-05-18 17:19:23 +02:00