7 Commits

• Adjust job name
  Dan Balasescu · 2024-11-11 13:44:11 +09:00
  91d9c0a7e8
• Enforce concurrency by using single job

  I've yet again re-confirmed by doubts about using concurrency groups.
  It's just not flexible enough. In this case, it cancels any _future_
  jobs.

  Dan Balasescu · 2024-11-11 13:40:17 +09:00
  0b570c4e15
• Don't fail grep if no matches
  Dan Balasescu · 2024-11-11 13:02:26 +09:00
  c1686fb687
• Fix wrong cleaned up directory
  Dan Balasescu · 2024-11-11 12:49:23 +09:00
  a3b8c4d127
• Set -euo pipefail in diffcalc workflows
  Dan Balasescu · 2024-11-11 12:49:23 +09:00
  2767054286
• Rename workflow
  Dan Balasescu · 2024-11-09 23:49:30 +09:00
  5e8df623d4
• Split diffcalc workflow to add concurrency group
  Dan Balasescu · 2024-11-09 19:59:20 +09:00
  6183daa95f