All workflows

Workflow runs

• Nightly Build

  failed:
  Nightly Build#201:Scheduled
  master

  Nov 9, 20261h 7m 47s
  More actions for workflow run 201

• Scheduled

  completed successfully:
  CodeQL#1072:bygithub-advanced-security[bot]AI
  master

  Nov 8, 20261m 16s

• Nightly Build

  failed:
  Nightly Build#200:Scheduled
  master

  Nov 8, 202648m 54s
  More actions for workflow run 200

• Running Copilot Code Review

  completed successfully:
  Copilot#59:byCopilotAI
  stdlib-2.4

  Nov 7, 20265m 19s
  More actions for workflow run 59

• Move to agda-stdlib 2.4 and stdlib-classes/meta v2.4

  completed successfully:
  CI#2452:Pull request#1373openedbywilliamdemeo
  stdlib-2.4

  Nov 7, 202651m 37s
  More actions for workflow run 2452

• Move to agda-stdlib 2.4 and stdlib-classes/meta v2.4

  completed successfully:
  properties-check#190:Pull request#1373openedbywilliamdemeo
  stdlib-2.4

  Nov 7, 202623s
  More actions for workflow run 190

• Move to agda-stdlib 2.4 and stdlib-classes/meta v2.4

  completed successfully:
  Shellcheck#3061:Pull request#1373openedbywilliamdemeo
  stdlib-2.4

  Nov 7, 202631s
  More actions for workflow run 3061

• PR #1373

  completed successfully:
  CodeQL#1071:bywilliamdemeo
  refs/pull/1373/head

  Nov 7, 202650s

• Running Copilot Code Review

  completed successfully:
  Copilot#58:byCopilotAI
  1185-dijkstra-NEW-ENTITIES-certs-pov

  Nov 7, 20262m 57s
  More actions for workflow run 58

• Running Copilot Code Review

  completed successfully:
  Copilot#57:byCopilotAI
  1274-dijkstra-batch-threading-utxo-invariants

  Nov 7, 20263m 20s
  More actions for workflow run 57

• Running Copilot Code Review

  completed successfully:
  Copilot#56:byCopilotAI
  typecheck-performance

  Nov 7, 20263m 4s
  More actions for workflow run 56

• Reduce Agda type-checking costs in proofs and diagnostics

  completed successfully:
  CI#2451:Pull request#1368synchronizebywilliamdemeo
  typecheck-performance

  Nov 7, 202623m 48s
  More actions for workflow run 2451

• Reduce Agda type-checking costs in proofs and diagnostics

  completed successfully:
  Shellcheck#3060:Pull request#1368synchronizebywilliamdemeo
  typecheck-performance

  Nov 7, 202630s
  More actions for workflow run 3060

• Reduce Agda type-checking costs in proofs and diagnostics

  completed successfully:
  properties-check#189:Pull request#1368synchronizebywilliamdemeo
  typecheck-performance

  Nov 7, 202624s
  More actions for workflow run 189

• PR #1368

  completed successfully:
  CodeQL#1070:bywilliamdemeo
  refs/pull/1368/head

  Nov 7, 202649s

• Nightly Build

  failed:
  Nightly Build#199:Scheduled
  master

  Nov 7, 20261h 10m 1s
  More actions for workflow run 199

• Close 1314 by renaming type in examples

  completed successfully:
  Shellcheck#3059:Pull request#1319synchronizebywilliamdemeo
  1314-renaming-examples

  Nov 6, 202629s
  More actions for workflow run 3059

• Close 1314 by renaming type in examples

  completed successfully:
  CI#2450:Pull request#1319synchronizebywilliamdemeo
  1314-renaming-examples

  Nov 6, 20266m 22s
  More actions for workflow run 2450

• PR #1319

  completed successfully:
  CodeQL#1069:bywilliamdemeo
  refs/pull/1319/head

  Nov 6, 202651s

• pages build and deployment

  completed successfully:
  pages-build-deployment#618:bygithub-pages[bot]Bot
  master-artifacts

  Nov 6, 202645s

• [Leios] Name the reachable quorum: certifiable

  completed successfully:
  Delete artifacts branch on PR closed#302:Pull request#1355closedbywilliamdemeo
  leios-certifiable

  Nov 6, 20261m 16s
  More actions for workflow run 302

• Merge pull request #1355 from IntersectMBO/leios-certifiable

  completed successfully:
  properties-check#188:Commitec06612pushedbywilliamdemeo
  master

  Nov 6, 202620s
  More actions for workflow run 188

• Merge pull request #1355 from IntersectMBO/leios-certifiable

  completed successfully:
  CI#2449:Commitec06612pushedbywilliamdemeo
  master

  Nov 6, 20267m 37s
  More actions for workflow run 2449

• Merge pull request #1355 from IntersectMBO/leios-certifiable

  completed successfully:
  Shellcheck#3058:Commitec06612pushedbywilliamdemeo
  master

  Nov 6, 202628s
  More actions for workflow run 3058

• Push on master

  completed successfully:
  CodeQL#1068:bywilliamdemeo
  master

  Nov 6, 20261m 19s