Agda

Workflow runs for Agda

• Reconcile Echo identity evidence and record Agda checks (#359)

  completed successfully:
  Agda#1032:Commitcd85288pushedbyhyperpolymath
  main

  Nov 3, 20269m 47s
  More actions for workflow run 1032

• Reconcile Echo identity evidence and record Agda checks

  completed successfully:
  Agda#1031:Pull request#359synchronizebycoderabbitai[bot]Bot
  arena/a08db6dc-echo-types

  Nov 1, 20268m 57s
  More actions for workflow run 1031

• Reconcile Echo identity evidence and record Agda checks

  completed successfully:
  Agda#1030:Pull request#359openedbyhyperpolymath
  arena/a08db6dc-echo-types

  Nov 1, 20269m 8s
  More actions for workflow run 1030

• chore(deps): bump hyperpolymath/smtp-notify-action from 0.5.0 to 0.5.…

  completed successfully:
  Agda#1029:Commitb0982c4pushedbyhyperpolymath
  main

  Oct 31, 202610m 41s
  More actions for workflow run 1029

• chore(deps): bump hyperpolymath/smtp-notify-action from 0.5.0 to 0.5.1 in the actions group

  completed successfully:
  Agda#1028:Pull request#358openedbydependabot[bot]Bot
  dependabot/github_actions/actions-8997878c64

  Oct 31, 20267m 44s
  More actions for workflow run 1028

• proofs: declare the strict flag set in every module that can take it …

  completed successfully:
  Agda#1027:Commit1073d60pushedbyhyperpolymath
  main

  Oct 27, 20267m 37s
  More actions for workflow run 1027

• proofs: declare the strict flag set in every module that can take it

  completed successfully:
  Agda#1026:Pull request#357openedbyhyperpolymath
  proofs/strict-pragmas

  Oct 27, 20267m 40s
  More actions for workflow run 1026

• ci(hypatia): re-sync the scan to the template — token, Dependabot sco…

  completed successfully:
  Agda#1025:Commit1939e7epushedbyhyperpolymath
  main

  Oct 27, 20266m 32s
  More actions for workflow run 1025

• ci(hypatia): re-sync the scan to the template — token, Dependabot scope, 7c10e5d (Hypatia findings, part 2)

  completed successfully:
  Agda#1024:Pull request#356openedbyhyperpolymath
  claude/kind-clarke-aqpe7a

  Oct 27, 20265m 27s
  More actions for workflow run 1024

• proofs: make the repo's own modules pass the strict flag set (#355)

  cancelled:
  Agda#1023:Commit71d6dd6pushedbyhyperpolymath
  main

  Oct 27, 202630m 26s
  More actions for workflow run 1023

• proofs: make the repo's own modules pass the strict flag set

  completed successfully:
  Agda#1022:Pull request#355synchronizebyhyperpolymath
  proofs/strict-flag-fixes

  Oct 26, 20265m 43s
  More actions for workflow run 1022

• ci: re-sync three workflows to the rsr-template-repo canon (Hypatia f…

  completed successfully:
  Agda#1021:Commit3582c9bpushedbyhyperpolymath
  main

  Oct 26, 20267m 46s
  More actions for workflow run 1021

• proofs: make the repo's own modules pass the strict flag set

  completed successfully:
  Agda#1020:Pull request#355openedbyhyperpolymath
  proofs/strict-flag-fixes

  Oct 26, 20267m 43s
  More actions for workflow run 1020

• ci: re-sync three workflows to the rsr-template-repo canon (Hypatia findings, part 1)

  completed successfully:
  Agda#1019:Pull request#354openedbyhyperpolymath
  claude/kind-clarke-aqpe7a

  Oct 26, 20261m 41s
  More actions for workflow run 1019

• fix(agda): repair EchoSearchExample against current axis-8 API and wi…

  completed successfully:
  Agda#1018:Commit7f1778cpushedbyhyperpolymath
  main

  Oct 26, 20261m 45s
  More actions for workflow run 1018

• fix(agda): repair EchoSearchExample against current axis-8 API and wire it in

  completed successfully:
  Agda#1017:Pull request#353synchronizebyhyperpolymath
  claude/kind-clarke-aqpe7a

  Oct 26, 20267m 50s
  More actions for workflow run 1017

• docs: point the ordinal lane at hyperpolymath/ordinal-notation (#351)

  cancelled:
  Agda#1016:Commitcb1eaa3pushedbyhyperpolymath
  main

  Oct 26, 202619s
  More actions for workflow run 1016

• docs: point the ordinal lane at hyperpolymath/ordinal-notation

  cancelled:
  Agda#1015:Pull request#351synchronizebyhyperpolymath
  docs/ordinal-notation-pointers

  Oct 26, 202630m 24s
  More actions for workflow run 1015

• ci: repin the standards reusables to metadatastician/standards (#352)

  cancelled:
  Agda#1014:Commit0205254pushedbyhyperpolymath
  main

  Oct 26, 20261m 35s
  More actions for workflow run 1014

• fix(agda): repair EchoSearchExample against current axis-8 API and wire it in

  completed successfully:
  Agda#1013:Pull request#353synchronizebyhyperpolymath
  claude/kind-clarke-aqpe7a

  Oct 26, 20267m 32s
  More actions for workflow run 1013

• fix(agda): repair EchoSearchExample against current axis-8 API and wire it in

  completed successfully:
  Agda#1012:Pull request#353openedbyhyperpolymath
  claude/kind-clarke-aqpe7a

  Oct 26, 20266m 6s
  More actions for workflow run 1012

• docs: point the ordinal lane at hyperpolymath/ordinal-notation

  completed successfully:
  Agda#1011:Pull request#351synchronizebyhyperpolymath
  docs/ordinal-notation-pointers

  Oct 26, 20268m 16s
  More actions for workflow run 1011

• ci: repin the standards reusables to metadatastician/standards

  cancelled:
  Agda#1010:Pull request#352openedbyhyperpolymath
  ci/repin-standards-metadatastician

  Oct 26, 202630m 28s
  More actions for workflow run 1010

• docs: point the ordinal lane at hyperpolymath/ordinal-notation

  cancelled:
  Agda#1009:Pull request#351openedbyhyperpolymath
  docs/ordinal-notation-pointers

  Oct 26, 202630m 25s
  More actions for workflow run 1009

• chore(deps): bump github/codeql-action from 4.38.3 to 4.39.1 in the a…

  completed successfully:
  Agda#1008:Commit83bc659pushedbyhyperpolymath
  main

  Oct 24, 20267m 24s
  More actions for workflow run 1008