Skip to content

Actions: hacspec/hax

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13,835 workflow runs
13,835 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #956 from hacspec/fix-clippy Extract and TC ML-Kem #561: Commit 52d7d71 pushed by github-merge-queue bot
October 3, 2024 07:56 3s main
main
October 3, 2024 07:56 3s
Merge pull request #956 from hacspec/fix-clippy Test Workspace #2904: Commit 52d7d71 pushed by github-merge-queue bot
October 3, 2024 07:56 4m 38s main
main
October 3, 2024 07:56 4m 38s
Merge pull request #956 from hacspec/fix-clippy Ensure formatting #2941: Commit 52d7d71 pushed by github-merge-queue bot
October 3, 2024 07:56 1m 11s main
main
October 3, 2024 07:56 1m 11s
Merge pull request #956 from hacspec/fix-clippy Deploy to GH Pages #274: Commit 52d7d71 pushed by github-merge-queue bot
October 3, 2024 07:56 10m 30s main
main
October 3, 2024 07:56 10m 30s
Merge pull request #956 from hacspec/fix-clippy Test installations #2597: Commit 52d7d71 pushed by github-merge-queue bot
October 3, 2024 07:56 4s main
main
October 3, 2024 07:56 4s
Merge pull request #956 from hacspec/fix-clippy Test JS build #808: Commit 52d7d71 pushed by github-merge-queue bot
October 3, 2024 07:56 3s main
main
October 3, 2024 07:56 3s
Extract and TC ML-Kem Extract and TC ML-Kem #560: Merge group checks requested
October 3, 2024 07:38 22m 29s
October 3, 2024 07:38 22m 29s
Install & test Install & test #2851: Merge group checks requested
October 3, 2024 07:38 15m 17s
October 3, 2024 07:38 15m 17s
Test installations Test installations #2596: Merge group checks requested
October 3, 2024 07:38 17m 54s
October 3, 2024 07:38 17m 54s
Ensure formatting Ensure formatting #2940: Merge group checks requested
October 3, 2024 07:38 1m 5s
October 3, 2024 07:38 1m 5s
Test JS build Test JS build #807: Merge group checks requested
October 3, 2024 07:38 6m 9s
October 3, 2024 07:38 6m 9s
Test Workspace Test Workspace #2903: Merge group checks requested
October 3, 2024 07:38 3m 12s
October 3, 2024 07:38 3m 12s
Run cargo clippy --fix Test installations #2595: Pull request #956 opened by W95Psp
October 3, 2024 06:44 4s fix-clippy
fix-clippy
October 3, 2024 06:44 4s
Run cargo clippy --fix Ensure formatting #2939: Pull request #956 opened by W95Psp
October 3, 2024 06:44 1m 16s fix-clippy
fix-clippy
October 3, 2024 06:44 1m 16s
Run cargo clippy --fix Test JS build #806: Pull request #956 opened by W95Psp
October 3, 2024 06:44 3s fix-clippy
fix-clippy
October 3, 2024 06:44 3s
Run cargo clippy --fix Install & test #2850: Pull request #956 opened by W95Psp
October 3, 2024 06:44 15m 19s fix-clippy
fix-clippy
October 3, 2024 06:44 15m 19s
Run cargo clippy --fix Extract and TC ML-Kem #559: Pull request #956 opened by W95Psp
October 3, 2024 06:44 3s fix-clippy
fix-clippy
October 3, 2024 06:44 3s
Run cargo clippy --fix Test Workspace #2902: Pull request #956 opened by W95Psp
October 3, 2024 06:44 4m 18s fix-clippy
fix-clippy
October 3, 2024 06:44 4m 18s
Run cargo clippy --fix .github/workflows/charon.yml #469: Pull request #956 opened by W95Psp
October 3, 2024 06:44 8m 32s fix-clippy
fix-clippy
October 3, 2024 06:44 8m 32s
Triage stale issues and PRs Triage stale issues and PRs #37: Scheduled
October 3, 2024 02:14 2m 36s main
main
October 3, 2024 02:14 2m 36s
feat(frontend): collect regular comments Test JS build #805: Pull request #955 opened by W95Psp
October 2, 2024 17:39 3s add-regular-comments
add-regular-comments
October 2, 2024 17:39 3s
feat(frontend): collect regular comments Install & test #2849: Pull request #955 opened by W95Psp
October 2, 2024 17:39 15m 35s add-regular-comments
add-regular-comments
October 2, 2024 17:39 15m 35s
feat(frontend): collect regular comments Extract and TC ML-Kem #558: Pull request #955 opened by W95Psp
October 2, 2024 17:39 3s add-regular-comments
add-regular-comments
October 2, 2024 17:39 3s
feat(frontend): collect regular comments Test Workspace #2901: Pull request #955 opened by W95Psp
October 2, 2024 17:39 6m 52s add-regular-comments
add-regular-comments
October 2, 2024 17:39 6m 52s
feat(frontend): collect regular comments Test installations #2594: Pull request #955 opened by W95Psp
October 2, 2024 17:39 4s add-regular-comments
add-regular-comments
October 2, 2024 17:39 4s