Skip to content

Actions: theproofnetwork/leanvfy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Keep the build from choosing what runs as lean4export End-to-End Attestation #5: Commit 574b77f pushed by real-yfprojects
2m 2s main
main
2m 2s
Keep the build from choosing what runs as lean4export Test Helper Scripts #17: Commit 574b77f pushed by real-yfprojects
1m 51s main
main
1m 51s
Exercise the bundle path of verify.sh and make offline verification p… End-to-End Attestation #4: Commit 94c3438 pushed by real-yfprojects
2m 0s main
main
2m 0s
Exercise the bundle path of verify.sh and make offline verification p… Test Helper Scripts #16: Commit 94c3438 pushed by real-yfprojects
2m 2s main
main
2m 2s
e2e: pick an untrusted revision that can never have signed the fixtures End-to-End Attestation #3: Commit b7287a8 pushed by real-yfprojects
1m 48s main
main
1m 48s
e2e: pick an untrusted revision that can never have signed the fixtures Test Helper Scripts #15: Commit b7287a8 pushed by real-yfprojects
1m 48s main
main
1m 48s
Let the test cleanup remove root-owned files left by provisioning End-to-End Attestation #2: Commit a8a14ba pushed by real-yfprojects
1m 38s main
main
1m 38s
Let the test cleanup remove root-owned files left by provisioning Test Helper Scripts #14: Commit a8a14ba pushed by real-yfprojects
1m 41s main
main
1m 41s
Complete the test suites and CI End-to-End Attestation #1: Commit b410b05 pushed by real-yfprojects
1m 47s main
main
1m 47s
Complete the test suites and CI Test Helper Scripts #13: Commit b410b05 pushed by real-yfprojects
1m 30s main
main
1m 30s
Add pre-commit hooks for formatting, pinned workflows and security ch… Test Helper Scripts #12: Commit 7945284 pushed by real-yfprojects
1m 24s main
main
1m 24s
Run every git invocation on prover data inside the same jail Test Helper Scripts #11: Commit 5c6d8c7 pushed by real-yfprojects
29s main
main
29s
Pin the tools-v4.34.0-rc2-4 binaries Test Helper Scripts #10: Commit aa5a698 pushed by real-yfprojects
30s main
main
30s
Build and export each workspace in its own jail; comparator only comp… Test Helper Scripts #9: Commit bc39107 pushed by real-yfprojects
35s main
main
35s
Build Verifier Tools Build Verifier Tools #7: Manually run by real-yfprojects
3m 44s main
main
3m 44s
Probe the userns restriction by its actual mechanism Test Helper Scripts #8: Commit d1d4a7f pushed by real-yfprojects
30s main
main
30s
wip: userns diagnostics Test Helper Scripts #7: Commit ed1258e pushed by real-yfprojects
18s main
main
18s
Probe the userns restriction with an unprofiled process Test Helper Scripts #6: Commit f32be2a pushed by real-yfprojects
38s main
main
38s
Grant user namespaces to bwrap only instead of lifting Ubuntu's restr… Test Helper Scripts #5: Commit 25d4ecf pushed by real-yfprojects
19s main
main
19s
Pin the tools-v4.34.0-rc2-3 binaries Test Helper Scripts #4: Commit 178b1ae pushed by real-yfprojects
34s main
main
34s
Lift Ubuntu's unprivileged user namespace restriction for the jails Test Helper Scripts #3: Commit f5c69c9 pushed by real-yfprojects
34s main
main
34s
Make the jails' user namespace explicit so --disable-userns is accepted Test Helper Scripts #2: Commit 48f2978 pushed by real-yfprojects
23s main
main
23s
Build Verifier Tools Build Verifier Tools #6: Manually run by real-yfprojects
3m 23s main
main
3m 23s
Accept git repositories with Lake dependencies as challenge and solution Test Helper Scripts #1: Commit 0d8b553 pushed by real-yfprojects
23s main
main
23s
Build Verifier Tools Build Verifier Tools #5: Manually run by real-yfprojects
2m 57s main
main
2m 57s