Skip to content

Actions: Beneficial-AI-Foundation/dalek-lite

Actions

All

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
509 workflow runs
509 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
All All #509: by TheodoreEhrenborg
1m 55s compat_reset2
compat_reset2
1m 55s
Same fixes for field All #508: Commit 37ab01e pushed by TheodoreEhrenborg
2m 4s compat_reset
compat_reset
2m 4s
Upgrade verus All #507: Commit bd605f9 pushed by TheodoreEhrenborg
2m 44s compatibility
compatibility
2m 44s
Check CI works on older branch All #506: Pull request #59 synchronize by TheodoreEhrenborg
8m 18s example_proofs
example_proofs
8m 18s
Format All #505: Commit cfd0e38 pushed by TheodoreEhrenborg
2m 54s example_proofs
example_proofs
2m 54s
Check CI works on older branch All #504: Pull request #59 synchronize by TheodoreEhrenborg
3m 5s example_proofs
example_proofs
3m 5s
Remove unused proof All #503: Commit 8d473e5 pushed by TheodoreEhrenborg
3m 6s example_proofs
example_proofs
3m 6s
Get cargo fmt working All #502: Commit 484d4b6 pushed by TheodoreEhrenborg
3m 0s example_proofs
example_proofs
3m 0s
Remove unused specs All #501: Commit 253fcfd pushed by TheodoreEhrenborg
4m 8s example_proofs
example_proofs
4m 8s
Delete curve25519-dalek-derive directory All #500: Commit 29b6c5f pushed by shaoweilin
21s shaoweilin-patch-1
shaoweilin-patch-1
21s
Delete backends other than u64 All #499: Pull request #46 synchronize by TheodoreEhrenborg
48s delete_backends
delete_backends
48s
Bring back some CI I like All #498: Commit 19a71f2 pushed by TheodoreEhrenborg
47s delete_backends
delete_backends
47s
Undo most of Claude's changes All #497: Commit 2ab5111 pushed by TheodoreEhrenborg
1m 25s delete_backends
delete_backends
1m 25s
Prove sub (#44) All #496: Commit bc45994 pushed by TheodoreEhrenborg
3m 8s main
main
3m 8s
Prove sub All #495: Pull request #44 synchronize by TheodoreEhrenborg
3m 53s prove_sub
prove_sub
3m 53s
Claude removes some assumes All #494: Commit 1cc1685 pushed by TheodoreEhrenborg
2m 58s prove_sub3
prove_sub3
2m 58s
Tweak test All #493: Commit 4029345 pushed by TheodoreEhrenborg
3m 12s sub_test
sub_test
3m 12s
Small typo All #492: Commit 55d56c8 pushed by TheodoreEhrenborg
3m 13s prove_sub
prove_sub
3m 13s
Tweak test All #491: Commit f454868 pushed by TheodoreEhrenborg
3m 10s sub_test
sub_test
3m 10s
Claude writes a test showing what sub does All #490: Commit f1ccc47 pushed by TheodoreEhrenborg
3m 10s sub_test
sub_test
3m 10s
Prove sub All #489: Pull request #44 synchronize by TheodoreEhrenborg
3m 21s prove_sub
prove_sub
3m 21s
Small typo All #488: Commit 30a2274 pushed by TheodoreEhrenborg
3m 12s prove_sub
prove_sub
3m 12s
Prove sub All #487: Pull request #44 synchronize by TheodoreEhrenborg
3m 5s prove_sub
prove_sub
3m 5s
Add comments All #486: Commit 602e524 pushed by TheodoreEhrenborg
3m 5s prove_sub
prove_sub
3m 5s
Prove sub All #485: Pull request #44 synchronize by TheodoreEhrenborg
3m 5s prove_sub
prove_sub
3m 5s