Agda

Workflow runs for Agda

• chore(ordinal): move the ordinal lane out of echo-types (do not merge…

  completed successfully:
  Agda#1006:Commitb1dcc29pushedbyhyperpolymath
  main

  Oct 20, 202612m 17s
  More actions for workflow run 1006

• chore(ordinal): move the ordinal lane out of echo-types (do not merge until the new repo is published)

  completed successfully:
  Agda#1005:Pull request#349synchronizebyhyperpolymath
  chore/extract-ordinal-lane

  Oct 20, 202615m 16s
  More actions for workflow run 1005

• chore(ordinal): move the ordinal lane out of echo-types (do not merge until the new repo is published)

  cancelled:
  Agda#1004:Pull request#349openedbyhyperpolymath
  chore/extract-ordinal-lane

  Oct 20, 202619m 39s
  More actions for workflow run 1004

• ci: drop secrets: inherit where unused; explicit mirror secrets; scor…

  completed successfully:
  Agda#1003:Commit703dd77pushedbyhyperpolymath
  main

  Oct 19, 202615m 17s
  More actions for workflow run 1003

• ci: drop secrets: inherit where unused; explicit mirror secrets; scorecard actions: read

  completed successfully:
  Agda#1002:Pull request#348openedbyhyperpolymath
  fix/drop-secrets-inherit

  Oct 19, 202619m 11s
  More actions for workflow run 1002

• ci(agda): typecheck the experimental echo-additive tree standalone (#…

  completed successfully:
  Agda#1001:Commit8d7e882pushedbyhyperpolymath
  main

  Oct 19, 202611m 29s
  More actions for workflow run 1001

• ci(agda): typecheck the experimental echo-additive tree standalone

  completed successfully:
  Agda#1000:Pull request#343synchronizebyhyperpolymath
  ci/echo-additive-lane

  Oct 19, 202612m 53s
  More actions for workflow run 1000

• ci: repin standards reusables to 75bd5994, record them in actions.lock

  completed successfully:
  Agda#999:Pull request#345synchronizebyhyperpolymath
  ci/repin-standards-75bd5994

  Oct 19, 202611m 37s
  More actions for workflow run 999

• feat(fidelity): build Fibre on Echo; reclassify EchoFidelity as Tier …

  completed successfully:
  Agda#998:Commite1a8470pushedbyhyperpolymath
  main

  Oct 19, 20268m 29s
  More actions for workflow run 998

• ci(agda): typecheck the experimental echo-additive tree standalone

  completed successfully:
  Agda#997:Pull request#343synchronizebyhyperpolymath
  ci/echo-additive-lane

  Oct 19, 20268m 13s
  More actions for workflow run 997

• feat(fidelity): build Fibre on Echo; reclassify EchoFidelity as Tier 1

  completed successfully:
  Agda#996:Pull request#347synchronizebyhyperpolymath
  feat/echofidelity-fibre-on-echo

  Oct 19, 20267m 45s
  More actions for workflow run 996

• docs(kernel): classify EchoFidelity as a standalone draft outside the…

  cancelled:
  Agda#995:Commit0d5f7fcpushedbyhyperpolymath
  main

  Oct 19, 20266m 58s
  More actions for workflow run 995

• feat(fidelity): build Fibre on Echo; reclassify EchoFidelity as Tier 1

  completed successfully:
  Agda#994:Pull request#347synchronizebyhyperpolymath
  feat/echofidelity-fibre-on-echo

  Oct 19, 20265m 16s
  More actions for workflow run 994

• docs(kernel): classify EchoFidelity as a standalone draft outside the kernel cone

  completed successfully:
  Agda#993:Pull request#346synchronizebyhyperpolymath
  docs/classify-echofidelity

  Oct 19, 20267m 18s
  More actions for workflow run 993

• feat(fidelity): build Fibre on Echo; reclassify EchoFidelity as Tier 1

  cancelled:
  Agda#992:Pull request#347openedbyhyperpolymath
  feat/echofidelity-fibre-on-echo

  Oct 19, 20263m 12s
  More actions for workflow run 992

• docs(kernel): classify EchoFidelity as a standalone draft outside the kernel cone

  cancelled:
  Agda#991:Pull request#346openedbyhyperpolymath
  docs/classify-echofidelity

  Oct 19, 20264m 6s
  More actions for workflow run 991

• ci: repin standards reusables to 75bd5994, record them in actions.lock

  failed:
  Agda#990:Pull request#345synchronizebyhyperpolymath
  ci/repin-standards-75bd5994

  Oct 19, 202612m 46s
  More actions for workflow run 990

• ci: repin standards reusables to 75bd5994, record them in actions.lock

  cancelled:
  Agda#989:Pull request#345openedbyhyperpolymath
  ci/repin-standards-75bd5994

  Oct 19, 20269s
  More actions for workflow run 989

• ci(agda): typecheck the experimental echo-additive tree standalone

  failed:
  Agda#988:Pull request#343synchronizebyhyperpolymath
  ci/echo-additive-lane

  Oct 19, 20267m 56s
  More actions for workflow run 988

• ci: repin standards reusables to 75bd5994, record them in actions.loc…

  failed:
  Agda#987:Commite367957pushedbyhyperpolymath
  main

  Oct 19, 20265m 57s
  More actions for workflow run 987

• ci: repin standards reusables to 75bd5994, record them in actions.lock

  failed:
  Agda#986:Pull request#344openedbyhyperpolymath
  ci/repin-standards-75bd5994

  Oct 19, 20265m 47s
  More actions for workflow run 986

• ci(agda): typecheck the experimental echo-additive tree standalone

  failed:
  Agda#985:Pull request#343synchronizebyhyperpolymath
  ci/echo-additive-lane

  Oct 19, 20268m 0s
  More actions for workflow run 985

• ci(agda): typecheck the experimental echo-additive tree standalone

  failed:
  Agda#984:Pull request#343openedbyhyperpolymath
  ci/echo-additive-lane

  Oct 19, 202611m 49s
  More actions for workflow run 984

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

  failed:
  Agda#983:Commit92ac330pushedbyhyperpolymath
  main

  Oct 17, 20267m 44s
  More actions for workflow run 983

• chore(deps): bump github/codeql-action from 4.38.2 to 4.38.3 in the actions group

  failed:
  Agda#982:Pull request#342openedbydependabot[bot]Bot
  dependabot/github_actions/actions-90fd21f639

  Oct 17, 202612m 7s
  More actions for workflow run 982