Test Helper Scripts

Workflow runs for Test Helper Scripts

• Keep the build from choosing what runs as lean4export

  completed successfully:
  Test Helper Scripts#17:Commit574b77fpushedbyreal-yfprojects
  main

  Sep 16, 20261m 51s
  More actions for workflow run 17

• Exercise the bundle path of verify.sh and make offline verification p…

  completed successfully:
  Test Helper Scripts#16:Commit94c3438pushedbyreal-yfprojects
  main

  Sep 15, 20262m 2s
  More actions for workflow run 16

• e2e: pick an untrusted revision that can never have signed the fixtures

  completed successfully:
  Test Helper Scripts#15:Commitb7287a8pushedbyreal-yfprojects
  main

  Sep 15, 20261m 48s
  More actions for workflow run 15

• Let the test cleanup remove root-owned files left by provisioning

  completed successfully:
  Test Helper Scripts#14:Commita8a14bapushedbyreal-yfprojects
  main

  Sep 15, 20261m 41s
  More actions for workflow run 14

• Complete the test suites and CI

  failed:
  Test Helper Scripts#13:Commitb410b05pushedbyreal-yfprojects
  main

  Sep 15, 20261m 30s
  More actions for workflow run 13

• Add pre-commit hooks for formatting, pinned workflows and security ch…

  completed successfully:
  Test Helper Scripts#12:Commit7945284pushedbyreal-yfprojects
  main

  Sep 15, 20261m 24s
  More actions for workflow run 12

• Run every git invocation on prover data inside the same jail

  completed successfully:
  Test Helper Scripts#11:Commit5c6d8c7pushedbyreal-yfprojects
  main

  Sep 14, 202629s
  More actions for workflow run 11

• Pin the tools-v4.34.0-rc2-4 binaries

  completed successfully:
  Test Helper Scripts#10:Commitaa5a698pushedbyreal-yfprojects
  main

  Sep 14, 202630s
  More actions for workflow run 10

• Build and export each workspace in its own jail; comparator only comp…

  completed successfully:
  Test Helper Scripts#9:Commitbc39107pushedbyreal-yfprojects
  main

  Sep 14, 202635s
  More actions for workflow run 9

• Probe the userns restriction by its actual mechanism

  completed successfully:
  Test Helper Scripts#8:Commitd1d4a7fpushedbyreal-yfprojects
  main

  Sep 14, 202630s
  More actions for workflow run 8

• wip: userns diagnostics

  failed:
  Test Helper Scripts#7:Commited1258epushedbyreal-yfprojects
  main

  Sep 14, 202618s
  More actions for workflow run 7

• Probe the userns restriction with an unprofiled process

  failed:
  Test Helper Scripts#6:Commitf32be2apushedbyreal-yfprojects
  main

  Sep 14, 202638s
  More actions for workflow run 6

• Grant user namespaces to bwrap only instead of lifting Ubuntu's restr…

  failed:
  Test Helper Scripts#5:Commit25d4ecfpushedbyreal-yfprojects
  main

  Sep 14, 202619s
  More actions for workflow run 5

• Pin the tools-v4.34.0-rc2-3 binaries

  completed successfully:
  Test Helper Scripts#4:Commit178b1aepushedbyreal-yfprojects
  main

  Sep 14, 202634s
  More actions for workflow run 4

• Lift Ubuntu's unprivileged user namespace restriction for the jails

  completed successfully:
  Test Helper Scripts#3:Commitf5c69c9pushedbyreal-yfprojects
  main

  Sep 14, 202634s
  More actions for workflow run 3

• Make the jails' user namespace explicit so --disable-userns is accepted

  failed:
  Test Helper Scripts#2:Commit48f2978pushedbyreal-yfprojects
  main

  Sep 14, 202623s
  More actions for workflow run 2

• Accept git repositories with Lake dependencies as challenge and solution

  failed:
  Test Helper Scripts#1:Commit0d8b553pushedbyreal-yfprojects
  main

  Sep 14, 202623s
  More actions for workflow run 1