Skip to content

Actions: cryspen/hax

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
26,481 workflow runs
26,481 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1738 from cryspen/lean-const-resugaring Check licenses #2322: Commit 7ec218f pushed by github-merge-queue bot
20m 47s main
main
20m 47s
Merge pull request #1738 from cryspen/lean-const-resugaring Ensure formatting #5517: Commit 7ec218f pushed by github-merge-queue bot
45s main
main
45s
Merge pull request #1738 from cryspen/lean-const-resugaring Extract and TC ML-Kem #3157: Commit 7ec218f pushed by github-merge-queue bot
1s main
main
1s
Merge pull request #1738 from cryspen/lean-const-resugaring Extract Bertie #2088: Commit 7ec218f pushed by github-merge-queue bot
1s main
main
1s
Merge pull request #1738 from cryspen/lean-const-resugaring Test installations #5173: Commit 7ec218f pushed by github-merge-queue bot
2s main
main
2s
Merge pull request #1738 from cryspen/lean-const-resugaring Deploy to GH Pages #644: Commit 7ec218f pushed by github-merge-queue bot
6m 58s main
main
6m 58s
Merge pull request #1738 from cryspen/lean-const-resugaring Rustc coverage tests with negative results, and snapshots verification #1084: Commit 7ec218f pushed by github-merge-queue bot
21m 29s main
main
21m 29s
Merge pull request #1738 from cryspen/lean-const-resugaring Linting for the Rust engine #1038: Commit 7ec218f pushed by github-merge-queue bot
1m 8s main
main
1m 8s
Merge pull request #1738 from cryspen/lean-const-resugaring Test Workspace #5479: Commit 7ec218f pushed by github-merge-queue bot
2m 41s main
main
2m 41s
Merge pull request #1738 from cryspen/lean-const-resugaring Install & test #5427: Commit 7ec218f pushed by github-merge-queue bot
22m 4s main
main
22m 4s
Install & test Install & test #5426: Merge group checks requested
29m 19s
29m 19s
Extract and TC ML-Kem Extract and TC ML-Kem #3156: Merge group checks requested
19m 12s
19m 12s
Extract Bertie Extract Bertie #2087: Merge group checks requested
12m 22s
12m 22s
Test installations Test installations #5172: Merge group checks requested
41m 22s
41m 22s
Ensure formatting Ensure formatting #5516: Merge group checks requested
52s
52s
Rustc coverage tests with negative results, and snapshots verification Rustc coverage tests with negative results, and snapshots verification #1083: Merge group checks requested
21m 42s
21m 42s
Linting for the Rust engine Linting for the Rust engine #1037: Merge group checks requested
1m 5s
1m 5s
Test Workspace Test Workspace #5478: Merge group checks requested
2m 54s
2m 54s
Make sure flake.lock is up-to-date Make sure flake.lock is up-to-date #1219: Merge group checks requested
25s
25s
Check licenses Check licenses #2321: Merge group checks requested
52s
52s
Merge pull request #1739 from cryspen/rengine-reject-not-lean-dsl Test Workspace #5477: Commit 6db49b5 pushed by github-merge-queue bot
3m 30s main
main
3m 30s
Merge pull request #1739 from cryspen/rengine-reject-not-lean-dsl Check licenses #2320: Commit 6db49b5 pushed by github-merge-queue bot
58s main
main
58s
Merge pull request #1739 from cryspen/rengine-reject-not-lean-dsl Ensure formatting #5515: Commit 6db49b5 pushed by github-merge-queue bot
50s main
main
50s
Merge pull request #1739 from cryspen/rengine-reject-not-lean-dsl Test installations #5171: Commit 6db49b5 pushed by github-merge-queue bot
12s main
main
12s
Merge pull request #1739 from cryspen/rengine-reject-not-lean-dsl Install & test #5425: Commit 6db49b5 pushed by github-merge-queue bot
30m 32s main
main
30m 32s