All workflows

Workflow runs

• Cert Admission

  currently running:
  Cert Admission#36:Scheduled
  main

  Nov 7, 2026In progress
  More actions for workflow run 36

• Proof

  completed successfully:
  Proof#3718:Scheduled
  main

  Nov 7, 20261h 2m 7s
  More actions for workflow run 3718

• CI

  completed successfully:
  CI#5630:Manually runbyjasisz
  main

  Nov 7, 202637m 8s
  More actions for workflow run 5630

• Merge pull request #1912 from jasisz/ci/nightly-wasm-gc-timeout

  completed successfully:
  Proof#3717:Commitb78bf86pushedbyjasisz
  main

  Nov 7, 202612m 13s
  More actions for workflow run 3717

• Merge pull request #1912 from jasisz/ci/nightly-wasm-gc-timeout

  completed successfully:
  CI#5629:Commitb78bf86pushedbyjasisz
  main

  Nov 7, 202621m 36s
  More actions for workflow run 5629

• Merge pull request #1912 from jasisz/ci/nightly-wasm-gc-timeout

  completed successfully:
  Certification#2828:Commitb78bf86pushedbyjasisz
  main

  Nov 7, 202625m 12s
  More actions for workflow run 2828

• CI: give the nightly wasm-gc sweep room to finish

  completed successfully:
  Certification#2827:Pull request#1912labeledbyjasisz
  ci/nightly-wasm-gc-timeout

  Nov 7, 202614s
  More actions for workflow run 2827

• CI: give the nightly wasm-gc sweep room to finish

  completed successfully:
  CI#5628:Pull request#1912openedbyjasisz
  ci/nightly-wasm-gc-timeout

  Nov 7, 202632m 14s
  More actions for workflow run 5628

• CI: give the nightly wasm-gc sweep room to finish

  completed successfully:
  Proof#3716:Pull request#1912openedbyjasisz
  ci/nightly-wasm-gc-timeout

  Nov 7, 202616m 14s
  More actions for workflow run 3716

• CI: give the nightly wasm-gc sweep room to finish

  completed successfully:
  Certification#2826:Pull request#1912openedbyjasisz
  ci/nightly-wasm-gc-timeout

  Nov 7, 202611s
  More actions for workflow run 2826

• Certification

  completed successfully:
  Certification#2825:Scheduled
  main

  Nov 7, 202617s
  More actions for workflow run 2825

• Rust codegen

  completed successfully:
  Rust codegen#524:Scheduled
  main

  Nov 7, 20269m 8s
  More actions for workflow run 524

• CI

  failed:
  CI#5627:Scheduled
  main

  Nov 7, 202635m 41s
  More actions for workflow run 5627

• Fuzz

  completed successfully:
  Fuzz#278:Scheduled
  main

  Nov 7, 20262h 47m 58s
  More actions for workflow run 278

• Certification

  completed successfully:
  Certification#2824:Scheduled
  main

  Nov 7, 20261h 26m 45s
  More actions for workflow run 2824

• Carry dev versions on main

  completed successfully:
  Proof#3715:Commit896c82cpushedbyjasisz
  main

  Nov 6, 202616m 31s
  More actions for workflow run 3715

• Carry dev versions on main

  completed successfully:
  Certification#2823:Commit896c82cpushedbyjasisz
  main

  Nov 6, 202629m 17s
  More actions for workflow run 2823

• Carry dev versions on main

  completed successfully:
  CI#5626:Commit896c82cpushedbyjasisz
  main

  Nov 6, 202625m 40s
  More actions for workflow run 5626

• Release 0.33.0

  completed successfully:
  Cert Admission#35:Commit5a78decpushedbyjasisz
  v0.33.0

  Nov 6, 202631m 13s
  More actions for workflow run 35

• Release 0.33.0

  cancelled:
  Certification#2822:Commit5a78decpushedbyjasisz
  main

  Nov 6, 202613s
  More actions for workflow run 2822

• Release 0.33.0

  cancelled:
  CI#5625:Commit5a78decpushedbyjasisz
  main

  Nov 6, 202619s
  More actions for workflow run 5625

• Release 0.33.0

  cancelled:
  Proof#3714:Commit5a78decpushedbyjasisz
  main

  Nov 6, 202615s
  More actions for workflow run 3714

• Release 0.33.0

  completed successfully:
  Certification#2821:Commit5a78decpushedbyjasisz
  release/0.33.0

  Nov 6, 20261h 4m 21s
  More actions for workflow run 2821

• Release 0.33.0

  completed successfully:
  Proof#3713:Commit5a78decpushedbyjasisz
  release/0.33.0

  Nov 6, 202632m 22s
  More actions for workflow run 3713

• Release 0.33.0

  completed successfully:
  Cert Admission#34:Commit5a78decpushedbyjasisz
  release/0.33.0

  Nov 6, 202632m 16s
  More actions for workflow run 34