Agda

Workflow runs for Agda

• 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

• chore: remove Standard Operating Psychopathy game

  failed:
  Agda#981:Commite38fd46pushedbyhyperpolymath
  main

  Oct 11, 202611m 12s
  More actions for workflow run 981

• Add echos exploration: fibre accounting draft (unverified), design no…

  failed:
  Agda#980:Commit116b109pushedbyhyperpolymath
  main

  Oct 11, 202612m 40s
  More actions for workflow run 980

• Add echos exploration: fibre accounting draft (unverified), design no…

  failed:
  Agda#979:Pull request#341openedbyhyperpolymath
  arena/93ae4ce1-echo-types

  Oct 11, 20269m 50s
  More actions for workflow run 979

• Add and document the SOP bunker sim with expeditions and save/load (#…

  completed successfully:
  Agda#978:Commit01657ffpushedbyhyperpolymath
  main

  Oct 11, 20269m 40s
  More actions for workflow run 978

• Add and document the SOP bunker sim with expeditions and save/load

  completed successfully:
  Agda#977:Pull request#340synchronizebyhyperpolymath
  coderabbit/document-pull-request-functions/676f663e

  Oct 11, 20267m 25s
  More actions for workflow run 977

• Standard Operating Psychopathy — playable bunker-management sim (v1 +…

  cancelled:
  Agda#976:Commitc25e0acpushedbyhyperpolymath
  main

  Oct 11, 202611m 3s
  More actions for workflow run 976

• Standard Operating Psychopathy — playable bunker-management sim (v1 + v0.2)

  completed successfully:
  Agda#975:Pull request#339synchronizebyhyperpolymath
  arena/ae27db17-echo-types

  Oct 11, 202612m 7s
  More actions for workflow run 975

• Standard Operating Psychopathy — playable bunker-management sim (v1 + v0.2)

  cancelled:
  Agda#974:Pull request#339synchronizebycoderabbitai[bot]Bot
  arena/ae27db17-echo-types

  Oct 11, 202628s
  More actions for workflow run 974

• Standard Operating Psychopathy — playable bunker-management sim (v1 + v0.2)

  cancelled:
  Agda#973:Pull request#339synchronizebyhyperpolymath
  arena/ae27db17-echo-types

  Oct 11, 202628s
  More actions for workflow run 973

• Standard Operating Psychopathy — playable bunker-management sim (v1 + v0.2)

  cancelled:
  Agda#972:Pull request#339synchronizebyhyperpolymath
  arena/ae27db17-echo-types

  Oct 11, 202642s
  More actions for workflow run 972

• Standard Operating Psychopathy — playable bunker-management sim (v1 + v0.2)

  completed successfully:
  Agda#971:Pull request#339synchronizebyhyperpolymath
  arena/ae27db17-echo-types

  Oct 11, 202611m 12s
  More actions for workflow run 971

• Standard Operating Psychopathy — playable bunker-management sim (v1 + v0.2)

  completed successfully:
  Agda#970:Pull request#339openedbyhyperpolymath
  arena/ae27db17-echo-types

  Oct 11, 202612m 36s
  More actions for workflow run 970

• chore(deps): bump the actions group with 2 updates (#338)

  completed successfully:
  Agda#969:Commit5cfc1capushedbyhyperpolymath
  main

  Oct 10, 202612m 26s
  More actions for workflow run 969

• chore(deps): bump the actions group with 2 updates

  completed successfully:
  Agda#968:Pull request#338openedbydependabot[bot]Bot
  dependabot/github_actions/actions-e062b07fec

  Oct 10, 202611m 49s
  More actions for workflow run 968

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

  completed successfully:
  Agda#967:Commitda140ccpushedbyhyperpolymath
  main

  Oct 3, 202612m 6s
  More actions for workflow run 967

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

  completed successfully:
  Agda#966:Pull request#337openedbydependabot[bot]Bot
  dependabot/github_actions/actions-a63e66b24a

  Oct 3, 202612m 19s
  More actions for workflow run 966

• docs: add Signed commits section to CONTRIBUTING (#333)

  cancelled:
  Agda#965:Commit2be247apushedbyhyperpolymath
  main

  Oct 1, 202635m 0s
  More actions for workflow run 965

• docs(foundation): keep the 2026-05-18 history entries append-only (#336)

  completed successfully:
  Agda#964:Commit3b21ff7pushedbyhyperpolymath
  main

  Oct 1, 202612m 45s
  More actions for workflow run 964

• docs(foundation): keep the 2026-05-18 history entries append-only

  completed successfully:
  Agda#963:Pull request#336openedbyhyperpolymath
  docs/foundation-history-append-only

  Oct 1, 202612m 39s
  More actions for workflow run 963

• chore(agda): bump absolute-zero pin 3ff5cee7 -> f486c299 (Proofs gree…

  completed successfully:
  Agda#962:Commit511ef25pushedbyhyperpolymath
  main

  Oct 1, 20269m 54s
  More actions for workflow run 962

• chore(agda): bump absolute-zero pin 3ff5cee7 -> f486c299 (Proofs green on main)

  completed successfully:
  Agda#961:Pull request#334openedbyhyperpolymath
  chore/bump-absz-pin

  Oct 1, 202612m 47s
  More actions for workflow run 961

• docs: add Signed commits section to CONTRIBUTING

  completed successfully:
  Agda#960:Pull request#333openedbyhyperpolymath
  docs/signing-policy-d218

  Oct 1, 202634m 14s
  More actions for workflow run 960

• docs(citation): add the author's ORCID (0000-0002-3078-6652) to citat…

  completed successfully:
  Agda#959:Commitfe10080pushedbyhyperpolymath
  main

  Oct 1, 202614m 49s
  More actions for workflow run 959

• chore: retire the 27 .a2ml records (owner ruling 2026-09-30) (#332)

  completed successfully:
  Agda#958:Commitab48b28pushedbyhyperpolymath
  main

  Sep 30, 20267m 27s
  More actions for workflow run 958