All workflows

Workflow runs

• run-notebook

  completed successfully:
  run-notebook#19:Scheduled
  master

  Aug 10, 202610m 13s
  More actions for workflow run 19

• run-notebook

  completed successfully:
  run-notebook#18:Scheduled
  master

  Aug 3, 202610m 40s
  More actions for workflow run 18

• run-notebook

  completed successfully:
  run-notebook#17:Scheduled
  master

  Jul 27, 20267m 46s
  More actions for workflow run 17

• run-notebook

  completed successfully:
  run-notebook#16:Scheduled
  master

  Jul 20, 20268m 34s
  More actions for workflow run 16

• run-notebook

  completed successfully:
  run-notebook#15:Scheduled
  master

  Jul 13, 20269m 4s
  More actions for workflow run 15

• run-notebook

  completed successfully:
  run-notebook#14:Scheduled
  master

  Jul 6, 20266m 59s
  More actions for workflow run 14

• run-notebook

  completed successfully:
  run-notebook#13:Scheduled
  master

  Jun 29, 20266m 23s
  More actions for workflow run 13

• run-notebook

  completed successfully:
  run-notebook#12:Scheduled
  master

  Jun 22, 20267m 5s
  More actions for workflow run 12

• run-notebook

  completed successfully:
  run-notebook#11:Scheduled
  master

  Jun 15, 20266m 54s
  More actions for workflow run 11

• run-notebook

  completed successfully:
  run-notebook#10:Scheduled
  master

  Jun 8, 20266m 39s
  More actions for workflow run 10

• wasm-hello.nb: pin multi-9.14.0.stable.2 (channel LatestPrerelease)

  completed successfully:
  run-notebook#9:Commit940223bpushedbyangerman
  master

  Jun 8, 20266m 24s
  More actions for workflow run 9

• wasm-hello.nb: pin multi-9.14.0.stable.2 (channel LatestPrerelease)

  completed successfully:
  notebooks#6:Commit940223bpushedbyangerman
  master

  Jun 8, 20268s
  More actions for workflow run 6

• run-notebook

  completed successfully:
  run-notebook#8:Manually runbyangerman
  master

  Jun 8, 20266m 50s
  More actions for workflow run 8

• wasm-hello.nb: switch to the multi-target GHC bindist

  completed successfully:
  notebooks#5:Commitf097bfbpushedbyangerman
  master

  Jun 7, 20267s
  More actions for workflow run 5

• wasm-hello.nb: switch to the multi-target GHC bindist

  completed successfully:
  run-notebook#7:Commitf097bfbpushedbyangerman
  master

  Jun 7, 20266m 16s
  More actions for workflow run 7

• CI(run-notebook): clear preinstalled ~/.ghcup before install (x86_64-…

  cancelled:
  run-notebook#6:Commit4aa9541pushedbyangerman
  master

  Jun 1, 20263s
  More actions for workflow run 6

• CI(run-notebook): clear preinstalled ~/.ghcup before install (x86_64-…

  completed successfully:
  notebooks#4:Commit4aa9541pushedbyangerman
  master

  Jun 1, 20269s
  More actions for workflow run 4

• run-notebook

  completed successfully:
  run-notebook#5:Manually runbyangerman
  master

  Jun 1, 20269m 23s
  More actions for workflow run 5

• CI(run-notebook): fix x86_64 ghcup prefix + macOS libgmp; always uplo…

  cancelled:
  run-notebook#4:Commitb20f773pushedbyangerman
  master

  Jun 1, 20263s
  More actions for workflow run 4

• CI(run-notebook): fix x86_64 ghcup prefix + macOS libgmp; always uplo…

  completed successfully:
  notebooks#3:Commitb20f773pushedbyangerman
  master

  Jun 1, 202611s
  More actions for workflow run 3

• run-notebook

  failed:
  run-notebook#3:Manually runbyangerman
  master

  Jun 1, 20269m 7s
  More actions for workflow run 3

• CI: execute the wasm notebook end-to-end on x86_64-linux, aarch64-lin…

  cancelled:
  run-notebook#2:Commitbefb171pushedbyangerman
  master

  Jun 1, 20263s
  More actions for workflow run 2

• CI: execute the wasm notebook end-to-end on x86_64-linux, aarch64-lin…

  completed successfully:
  notebooks#2:Commitbefb171pushedbyangerman
  master

  Jun 1, 20267s
  More actions for workflow run 2

• run-notebook

  failed:
  run-notebook#1:Manually runbyangerman
  master

  Jun 1, 20269m 10s
  More actions for workflow run 1

• CI: enforce stripped notebooks (make check on push + PRs)

  completed successfully:
  notebooks#1:Commit373541epushedbyangerman
  master

  Jun 1, 20269s
  More actions for workflow run 1