All workflows

Workflow runs

• Build starter

  completed successfully:
  Build starter#16:Scheduled
  main

  Oct 26, 20263m 12s
  More actions for workflow run 16

• Build starter

  completed successfully:
  Build starter#15:Scheduled
  main

  Oct 19, 20263m 1s
  More actions for workflow run 15

• Update README.md

  completed successfully:
  Build starter#14:Commit5b1d8a8pushedbyhawkrobe
  main

  Oct 17, 20263m 7s
  More actions for workflow run 14

• Codespaces: .devcontainer/devcontainer.json

  completed successfully:
  Dev Environment Prebuilds#7:bygithub-codespaces[bot]Bot
  main

  Oct 17, 202636m 0s

• Merge pull request #2 from linglib-community/slim-mathlib

  completed successfully:
  Build starter#13:Commitbb199ccpushedbyhawkrobe
  main

  Oct 17, 20262m 18s
  More actions for workflow run 13

• Codespaces: .devcontainer/devcontainer.json

  completed successfully:
  Dev Environment Prebuilds#6:bygithub-codespaces[bot]Bot
  main

  Oct 17, 202618m 13s

• Download only the Mathlib files the project uses

  completed successfully:
  Build starter#12:Pull request#2openedbyhawkrobe
  slim-mathlib

  Oct 12, 20263m 22s
  More actions for workflow run 12

• Download only the Mathlib files the project uses

  completed successfully:
  Build starter#11:Commitc193172pushedbyhawkrobe
  slim-mathlib

  Oct 12, 20263m 32s
  More actions for workflow run 11

• Build starter

  completed successfully:
  Build starter#10:Scheduled
  main

  Oct 12, 20264m 42s
  More actions for workflow run 10

• Codespaces: .devcontainer/devcontainer.json

  completed successfully:
  Dev Environment Prebuilds#5:bygithub-codespaces[bot]Bot
  main

  Oct 12, 202621m 26s

• Fix friction found by a fresh agent following the one prompt

  completed successfully:
  Build starter#9:Commit86cd382pushedbyhawkrobe
  main

  Oct 12, 20263m 17s
  More actions for workflow run 9

• Codespaces: .devcontainer/devcontainer.json

  completed successfully:
  Dev Environment Prebuilds#4:bygithub-codespaces[bot]Bot
  main

  Oct 12, 202644m 4s

• AGENTS.md: update linglib by release tag; explain the source-build wa…

  completed successfully:
  Build starter#8:Commit6c3492epushedbyhawkrobe
  main

  Oct 12, 20263m 15s
  More actions for workflow run 8

• Codespaces: .devcontainer/devcontainer.json

  completed successfully:
  Dev Environment Prebuilds#3:bygithub-codespaces[bot]Bot
  main

  Oct 12, 202623m 43s

• Merge pull request #1 from linglib-community/pin-v4.34.1

  completed successfully:
  Build starter#7:Commit58b4771pushedbyhawkrobe
  main

  Oct 12, 20263m 45s
  More actions for workflow run 7

• Pin linglib to v4.34.1 and use its prebuilt files

  completed successfully:
  Build starter#6:Pull request#1openedbyhawkrobe
  pin-v4.34.1

  Oct 12, 20263m 39s
  More actions for workflow run 6

• Pin linglib to release v4.34.1 and Lean 4.34.1

  completed successfully:
  Build starter#5:Commitbdc89f9pushedbyhawkrobe
  pin-v4.34.1

  Oct 11, 20263m 32s
  More actions for workflow run 5

• Make the chat app the first way in; guide agents in cloud workspaces

  completed successfully:
  Build starter#4:Commit590127cpushedbyhawkrobe
  main

  Oct 11, 20263m 23s
  More actions for workflow run 4

• Codespaces: .devcontainer/devcontainer.json

  completed successfully:
  Dev Environment Prebuilds#2:bygithub-codespaces[bot]Bot
  main

  Oct 11, 202625m 54s

• Codespaces: .devcontainer/devcontainer.json

  completed successfully:
  Dev Environment Prebuilds#1:bygithub-codespaces[bot]Bot
  main

  Oct 11, 202625m 1s

• Run setup in updateContentCommand so prebuilds refresh it

  completed successfully:
  Build starter#3:Commitc2b1b54pushedbyhawkrobe
  main

  Oct 11, 20264m 28s
  More actions for workflow run 3

• Add Open in Codespaces: dev container with setup on create

  completed successfully:
  Build starter#2:Commit8518570pushedbyhawkrobe
  main

  Oct 11, 20263m 12s
  More actions for workflow run 2

• Initial starter template: agent-led setup, worked linglib example

  completed successfully:
  Build starter#1:Commit0a0e910pushedbyhawkrobe
  main

  Oct 11, 20263m 34s
  More actions for workflow run 1