Skip to content

Use FlakeHub inputs#89

Merged
edolstra merged 7 commits into
detsys-mainfrom
flakehub-inputs
Jun 11, 2025
Merged

Use FlakeHub inputs#89
edolstra merged 7 commits into
detsys-mainfrom
flakehub-inputs

Conversation

@lucperkins
Copy link
Copy Markdown
Member

@lucperkins lucperkins commented Jun 5, 2025

This should make various build processes a bit faster and more reliable.

@github-actions
Copy link
Copy Markdown

github-actions Bot commented Jun 5, 2025

@github-actions github-actions Bot temporarily deployed to pull request June 5, 2025 06:16 Inactive
@lucperkins lucperkins added this pull request to the merge queue Jun 5, 2025
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to no response for status checks Jun 5, 2025
@lucperkins lucperkins added this pull request to the merge queue Jun 5, 2025
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to no response for status checks Jun 5, 2025
@lucperkins lucperkins added this pull request to the merge queue Jun 6, 2025
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Jun 6, 2025
@github-actions github-actions Bot temporarily deployed to pull request June 6, 2025 15:27 Inactive
@lucperkins lucperkins added this pull request to the merge queue Jun 6, 2025
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Jun 6, 2025
@lucperkins lucperkins added this pull request to the merge queue Jun 6, 2025
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Jun 6, 2025
@lucperkins lucperkins enabled auto-merge June 6, 2025 16:04
@lucperkins lucperkins added this pull request to the merge queue Jun 6, 2025
@github-actions github-actions Bot temporarily deployed to pull request June 6, 2025 16:13 Inactive
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Jun 6, 2025
@lucperkins lucperkins enabled auto-merge June 6, 2025 17:54
@github-actions github-actions Bot temporarily deployed to pull request June 6, 2025 17:59 Inactive
@lucperkins lucperkins added this pull request to the merge queue Jun 6, 2025
github-merge-queue Bot pushed a commit that referenced this pull request Jun 6, 2025
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Jun 6, 2025
@grahamc grahamc added this pull request to the merge queue Jun 6, 2025
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Jun 6, 2025
@github-actions github-actions Bot temporarily deployed to pull request June 7, 2025 17:18 Inactive
@lucperkins lucperkins added this pull request to the merge queue Jun 10, 2025
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Jun 10, 2025
@github-actions github-actions Bot temporarily deployed to pull request June 11, 2025 01:49 Inactive
@edolstra edolstra added this pull request to the merge queue Jun 11, 2025
Merged via the queue into detsys-main with commit 96874f4 Jun 11, 2025
26 checks passed
@edolstra edolstra deleted the flakehub-inputs branch June 11, 2025 09:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants