All workflows

Workflow runs

• Merge pull request #5 from LeanOxide/agent/leo3/9d4e8708b306

  failed:
  CI#30:Commit4911814pushedbyAndPuQing
  main

  Aug 25, 202634m 49s
  More actions for workflow run 30

• packaging: add __version__ and Repl.__repr__, doc get_state_pp/Goal.__str__ (W-406)

  failed:
  CI#29:Pull request#5openedbyAndPuQing
  agent/leo3/9d4e8708b306

  Aug 25, 202636m 48s
  More actions for workflow run 29

• Merge pull request #4 from LeanOxide/agent/leo3/aaba28d0b0de

  failed:
  CI#28:Commitc65c348pushedbyAndPuQing
  main

  Aug 25, 202615m 28s
  More actions for workflow run 28

• docs: align set_goal docs with append semantics (W-405)

  failed:
  CI#27:Pull request#4openedbyAndPuQing
  agent/leo3/aaba28d0b0de

  Aug 25, 202636m 45s
  More actions for workflow run 27

• Merge pull request #3 from LeanOxide/agent/leo3/b94769e66ab8

  failed:
  CI#26:Commit52d25e0pushedbyAndPuQing
  main

  Aug 25, 202626m 6s
  More actions for workflow run 26

• repl: add get_state_pp whole-state display and Goal.__str__

  failed:
  CI#25:Pull request#3openedbyAndPuQing
  agent/leo3/b94769e66ab8

  Aug 25, 202611m 28s
  More actions for workflow run 25

• Merge pull request #2 from LeanOxide/agent/leo3/9ed5efd73ddb

  failed:
  CI#24:Commitc0a8ae3pushedbyAndPuQing
  main

  Aug 25, 202620m 59s
  More actions for workflow run 24

• repl: add LeanError/TacticError exception hierarchy

  failed:
  CI#23:Pull request#2openedbyAndPuQing
  agent/leo3/9ed5efd73ddb

  Aug 25, 202634m 27s
  More actions for workflow run 23

• repl: add non-raising try_run_tac / try_run_tacs for search loops

  failed:
  CI#22:Commitb5daf1cpushedbyAndPuQing
  main

  Aug 25, 20268m 29s
  More actions for workflow run 22

• repl: resolve check names with local-context shadowing (review fix)

  failed:
  CI#21:Commit81fa74apushedbyAndPuQing
  main

  Aug 25, 202613m 5s
  More actions for workflow run 21

• Merge pull request #1 from LeanOxide/agent/leo3/eecb29242d74

  failed:
  CI#20:Commit6fe5241pushedbyAndPuQing
  main

  Aug 24, 202611m 30s
  More actions for workflow run 20

• Release

  failed:
  Release#2:Manually runbyAndPuQing
  main

  Aug 24, 20261m 13s
  More actions for workflow run 2

• Release

  skipped:
  Release#1:Manually runbyAndPuQing
  main

  Aug 24, 20269s
  More actions for workflow run 1

• ci: add build/test CI and PyPI release workflows

  failed:
  CI#19:Pull request#1synchronizebyAndPuQing
  agent/leo3/eecb29242d74

  Aug 24, 20265m 21s
  More actions for workflow run 19

• ci: add build/test CI and PyPI release workflows

  failed:
  CI#18:Pull request#1synchronizebyAndPuQing
  agent/leo3/eecb29242d74

  Aug 24, 20262m 25s
  More actions for workflow run 18

• ci: add build/test CI and PyPI release workflows

  failed:
  CI#17:Pull request#1synchronizebyAndPuQing
  agent/leo3/eecb29242d74

  Aug 24, 20262m 19s
  More actions for workflow run 17

• ci: add build/test CI and PyPI release workflows

  failed:
  CI#16:Pull request#1synchronizebyAndPuQing
  agent/leo3/eecb29242d74

  Aug 24, 20261m 51s
  More actions for workflow run 16

• ci: add build/test CI and PyPI release workflows

  failed:
  CI#15:Pull request#1synchronizebyAndPuQing
  agent/leo3/eecb29242d74

  Aug 24, 20266m 18s
  More actions for workflow run 15

• ci: add build/test CI and PyPI release workflows

  failed:
  CI#14:Pull request#1synchronizebyAndPuQing
  agent/leo3/eecb29242d74

  Aug 24, 20267m 15s
  More actions for workflow run 14

• ci: add build/test CI and PyPI release workflows

  failed:
  CI#13:Pull request#1synchronizebyAndPuQing
  agent/leo3/eecb29242d74

  Aug 24, 202655m 10s
  More actions for workflow run 13

• ci: add build/test CI and PyPI release workflows

  failed:
  CI#12:Pull request#1synchronizebyAndPuQing
  agent/leo3/eecb29242d74

  Aug 24, 20266m 0s
  More actions for workflow run 12

• ci: add build/test CI and PyPI release workflows

  failed:
  CI#11:Pull request#1synchronizebyAndPuQing
  agent/leo3/eecb29242d74

  Aug 24, 20265m 19s
  More actions for workflow run 11

• ci: add build/test CI and PyPI release workflows

  failed:
  CI#10:Pull request#1synchronizebyAndPuQing
  agent/leo3/eecb29242d74

  Aug 24, 20265m 25s
  More actions for workflow run 10

• ci: add build/test CI and PyPI release workflows

  cancelled:
  CI#9:Pull request#1synchronizebyAndPuQing
  agent/leo3/eecb29242d74

  Aug 24, 20267m 46s
  More actions for workflow run 9

• ci: add build/test CI and PyPI release workflows

  failed:
  CI#8:Pull request#1synchronizebyAndPuQing
  agent/leo3/eecb29242d74

  Aug 24, 20264m 44s
  More actions for workflow run 8