Skip to content

Actions: hacspec/hax

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

feat(frontend): collect regular comments
.github/workflows/charon.yml #468: Pull request #955 opened by W95Psp
October 2, 2024 17:39 8m 38s add-regular-comments
October 2, 2024 17:39 8m 38s
feat(frontend): collect regular comments
Ensure formatting #2938: Pull request #955 opened by W95Psp
October 2, 2024 17:39 1m 14s add-regular-comments
October 2, 2024 17:39 1m 14s
Merge pull request #952 from hacspec/contributing
Test JS build #804: Commit 8ab6225 pushed by github-merge-queue bot
October 2, 2024 15:07 4s main
October 2, 2024 15:07 4s
Merge pull request #952 from hacspec/contributing
Test Workspace #2900: Commit 8ab6225 pushed by github-merge-queue bot
October 2, 2024 15:07 3m 53s main
October 2, 2024 15:07 3m 53s
Merge pull request #952 from hacspec/contributing
Ensure formatting #2937: Commit 8ab6225 pushed by github-merge-queue bot
October 2, 2024 15:07 1m 17s main
October 2, 2024 15:07 1m 17s
Merge pull request #952 from hacspec/contributing
Deploy to GH Pages #273: Commit 8ab6225 pushed by github-merge-queue bot
October 2, 2024 15:07 10m 38s main
October 2, 2024 15:07 10m 38s
Merge pull request #952 from hacspec/contributing
Install & test #2848: Commit 8ab6225 pushed by github-merge-queue bot
October 2, 2024 15:07 10m 46s main
October 2, 2024 15:07 10m 46s
Merge pull request #952 from hacspec/contributing
Test installations #2593: Commit 8ab6225 pushed by github-merge-queue bot
October 2, 2024 15:07 6s main
October 2, 2024 15:07 6s
Merge pull request #952 from hacspec/contributing
Extract and TC ML-Kem #557: Commit 8ab6225 pushed by github-merge-queue bot
October 2, 2024 15:07 5s main
October 2, 2024 15:07 5s
Ensure formatting
Ensure formatting #2936: Merge group checks requested
October 2, 2024 14:47 1m 9s
October 2, 2024 14:47 1m 9s
Test Workspace
Test Workspace #2899: Merge group checks requested
October 2, 2024 14:47 5m 57s
October 2, 2024 14:47 5m 57s
Install & test
Install & test #2847: Merge group checks requested
October 2, 2024 14:47 16m 46s
October 2, 2024 14:47 16m 46s
Test JS build
Test JS build #803: Merge group checks requested
October 2, 2024 14:47 6m 19s
October 2, 2024 14:47 6m 19s
Test installations
Test installations #2592: Merge group checks requested
October 2, 2024 14:47 20m 9s
October 2, 2024 14:47 20m 9s
Extract and TC ML-Kem
Extract and TC ML-Kem #556: Merge group checks requested
October 2, 2024 14:47 21m 48s
October 2, 2024 14:47 21m 48s
feat(doc): add CONTRIBUTING.md
Install & test #2846: Pull request #952 synchronize by W95Psp
October 2, 2024 14:38 8m 27s contributing
October 2, 2024 14:38 8m 27s
feat(doc): add CONTRIBUTING.md
.github/workflows/charon.yml #467: Pull request #952 synchronize by W95Psp
October 2, 2024 14:38 8m 36s contributing
October 2, 2024 14:38 8m 36s
feat(doc): add CONTRIBUTING.md
Extract and TC ML-Kem #555: Pull request #952 synchronize by W95Psp
October 2, 2024 14:38 4s contributing
October 2, 2024 14:38 4s
feat(doc): add CONTRIBUTING.md
Test JS build #802: Pull request #952 synchronize by W95Psp
October 2, 2024 14:38 4s contributing
October 2, 2024 14:38 4s
feat(doc): add CONTRIBUTING.md
Test Workspace #2898: Pull request #952 synchronize by W95Psp
October 2, 2024 14:38 4m 44s contributing
October 2, 2024 14:38 4m 44s
feat(doc): add CONTRIBUTING.md
Ensure formatting #2935: Pull request #952 synchronize by W95Psp
October 2, 2024 14:38 1m 4s contributing
October 2, 2024 14:38 1m 4s
feat(doc): add CONTRIBUTING.md
Test installations #2591: Pull request #952 synchronize by W95Psp
October 2, 2024 14:38 5s contributing
October 2, 2024 14:38 5s
feat(doc): add CONTRIBUTING.md
Test installations #2590: Pull request #952 opened by W95Psp
October 2, 2024 14:19 4s contributing
October 2, 2024 14:19 4s
feat(doc): add CONTRIBUTING.md
Install & test #2845: Pull request #952 opened by W95Psp
October 2, 2024 14:19 11m 5s contributing
October 2, 2024 14:19 11m 5s
feat(doc): add CONTRIBUTING.md
Test JS build #801: Pull request #952 opened by W95Psp
October 2, 2024 14:19 3s contributing
October 2, 2024 14:19 3s