All workflows

Workflow runs

• Fuzz

  completed successfully:
  Fuzz#31:Scheduled
  main

  Oct 26, 202648m 53s
  More actions for workflow run 31

• Fuzz

  completed successfully:
  Fuzz#30:Scheduled
  main

  Oct 25, 202648m 56s
  More actions for workflow run 30

• chore: update tokio to 1.53.3

  completed successfully:
  Book and API documentation#19:Commit8079620pushedbydancixx
  main

  Oct 24, 202626m 6s
  More actions for workflow run 19

• chore: update tokio to 1.53.3

  completed successfully:
  Packaged installation#18:Commit8079620pushedbydancixx
  main

  Oct 24, 202613m 43s
  More actions for workflow run 18

• chore: update tokio to 1.53.3

  completed successfully:
  CI#130:Commit8079620pushedbydancixx
  main

  Oct 24, 202633m 1s
  More actions for workflow run 130

• fix: preserve bounds proofs across repeated integer casts

  failed:
  CI#129:Commita1ef87fpushedbydancixx
  main

  Oct 24, 202641m 13s
  More actions for workflow run 129

• fix: preserve bounds proofs across repeated integer casts

  completed successfully:
  Book and API documentation#18:Commita1ef87fpushedbydancixx
  main

  Oct 24, 20263m 54s
  More actions for workflow run 18

• fix: preserve bounds proofs across repeated integer casts

  completed successfully:
  Packaged installation#17:Commita1ef87fpushedbydancixx
  main

  Oct 24, 20264m 7s
  More actions for workflow run 17

• Fuzz

  completed successfully:
  Fuzz#29:Scheduled
  main

  Oct 24, 202648m 28s
  More actions for workflow run 29

• Fuzz

  completed successfully:
  Fuzz#28:Scheduled
  main

  Oct 23, 202647m 25s
  More actions for workflow run 28

• chore: start alpha.2 development

  completed successfully:
  Packaged installation#16:Commit07d9c96pushedbydancixx
  main

  Oct 22, 20264m 4s
  More actions for workflow run 16

• chore: start alpha.2 development

  completed successfully:
  Book and API documentation#17:Commit07d9c96pushedbydancixx
  main

  Oct 22, 20269m 42s
  More actions for workflow run 17

• chore: start alpha.2 development

  completed successfully:
  CI#128:Commit07d9c96pushedbydancixx
  main

  Oct 22, 202631m 34s
  More actions for workflow run 128

• 0.1.0-alpha.1

  completed successfully:
  Book and API documentation#16:Releasev0.1.0-alpha.1publishedbydancixx
  Oct 22, 20262m 8s
  More actions for workflow run 16

• 0.1.0-alpha.1

  completed successfully:
  Packaged installation#15:Releasev0.1.0-alpha.1publishedbydancixx
  Oct 22, 20264m 43s
  More actions for workflow run 15

• fix: remove redundant package homepages

  completed successfully:
  CI#127:Commit7e953b3pushedbydancixx
  main

  Oct 22, 202644m 34s
  More actions for workflow run 127

• fix: remove redundant package homepages

  completed successfully:
  Packaged installation#14:Commit7e953b3pushedbydancixx
  main

  Oct 22, 20263m 40s
  More actions for workflow run 14

• fix: remove redundant package homepages

  completed successfully:
  Book and API documentation#15:Commit7e953b3pushedbydancixx
  main

  Oct 22, 20263m 26s
  More actions for workflow run 15

• github_actions in /. - Update #1646096434

  completed successfully:
  Dependabot Updates#2:bydependabot[bot]Bot
  main

  Oct 22, 202645s

• github_actions in /. - Update #1646096332

  completed successfully:
  Dependabot Updates#1:bydependabot[bot]Bot
  main

  Oct 22, 202644s

• feat: complete alpha.1 compiler and runtime improvements

  completed successfully:
  Packaged installation#13:Commit38789bapushedbydancixx
  main

  Oct 22, 20264m 13s
  More actions for workflow run 13

• feat: complete alpha.1 compiler and runtime improvements

  completed successfully:
  Book and API documentation#14:Commit38789bapushedbydancixx
  main

  Oct 22, 202610m 22s
  More actions for workflow run 14

• feat: complete alpha.1 compiler and runtime improvements

  completed successfully:
  CI#126:Commit38789bapushedbydancixx
  main

  Oct 22, 202647m 11s
  More actions for workflow run 126

• test: load alpha0 saved artifacts as a published dependency would

  completed successfully:
  Packaged installation#12:Commit91f24c8pushedbydancixx
  main

  Oct 22, 20266m 57s
  More actions for workflow run 12

• test: load alpha0 saved artifacts as a published dependency would

  completed successfully:
  CI#125:Commit91f24c8pushedbydancixx
  main

  Oct 22, 202644m 59s
  More actions for workflow run 125