Skip to content

Actions: theproofnetwork/leanvfy

Actions

Test Helper Scripts

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-scripts.yml
17 workflow runs
17 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
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… 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 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 Test Helper Scripts #14: Commit a8a14ba pushed by real-yfprojects
1m 41s main
main
1m 41s
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
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
Accept git repositories with Lake dependencies as challenge and solution Test Helper Scripts #1: Commit 0d8b553 pushed by real-yfprojects
23s main
main
23s