All workflows

Workflow runs

• Publish master GitHub Pages

  completed successfully:
  Publish master GitHub Pages#65:Scheduled
  master

  Nov 13, 202647m 14s
  More actions for workflow run 65

• fix doc name

  failed:
  Generate HTML doc using Rocqnavi#116:Commita083817pushedbynmolinamounier
  topology-displays

  Nov 13, 202616s
  More actions for workflow run 116

• Publish master GitHub Pages

  completed successfully:
  Publish master GitHub Pages#64:Scheduled
  master

  Nov 12, 202657m 54s
  More actions for workflow run 64

• temp

  failed:
  Generate HTML doc using Rocqnavi#115:Commit055eae0pushedbynmolinamounier
  sep-axioms-refactor

  Nov 12, 202617s
  More actions for workflow run 115

• temp

  failed:
  Generate HTML doc using Rocqnavi#114:Commit9d9ab1apushedbynmolinamounier
  sep-axioms-refactor

  Nov 12, 202614s
  More actions for workflow run 114

• doc + changelog

  failed:
  Generate HTML doc using Rocqnavi#113:Commit4b1109bpushedbynmolinamounier
  topology-displays

  Nov 12, 202616s
  More actions for workflow run 113

• gdelta

  failed:
  Generate HTML doc using Rocqnavi#112:Commit8487177pushedbynmolinamounier
  gdelta

  Nov 12, 202614s
  More actions for workflow run 112

• separation_axioms skeleton

  failed:
  Generate HTML doc using Rocqnavi#111:Commit8ec8984pushedbynmolinamounier
  sep-axioms-refactor

  Nov 12, 202613s
  More actions for workflow run 111

• Publish master GitHub Pages

  completed successfully:
  Publish master GitHub Pages#63:Scheduled
  master

  Nov 12, 202638m 29s
  More actions for workflow run 63

• Publish master GitHub Pages

  completed successfully:
  Publish master GitHub Pages#62:Scheduled
  master

  Nov 10, 202641m 50s
  More actions for workflow run 62

• fix #2146 (#2152)

  failed:
  Generate HTML doc using Rocqnavi#110:Commiteca10f8pushedbynmolinamounier
  archi-embed

  Nov 10, 202614s
  More actions for workflow run 110

• start separation axiom rework

  failed:
  Generate HTML doc using Rocqnavi#109:Commit771d10apushedbynmolinamounier
  sep-axioms-refactor

  Nov 10, 202615s
  More actions for workflow run 109

• consistent displays & generalizations

  failed:
  Generate HTML doc using Rocqnavi#108:Commitfb2df50pushedbynmolinamounier
  topology-displays

  Nov 10, 202615s
  More actions for workflow run 108

• Publish master GitHub Pages

  completed successfully:
  Publish master GitHub Pages#61:Scheduled
  master

  Nov 10, 202659m 28s
  More actions for workflow run 61

• gdelta prelims

  failed:
  Generate HTML doc using Rocqnavi#107:Commitea58df0pushedbynmolinamounier
  gdelta

  Nov 9, 202616s
  More actions for workflow run 107

• changelog

  failed:
  Generate HTML doc using Rocqnavi#106:Commit080a265pushedbynmolinamounier
  count-discont

  Nov 9, 202614s
  More actions for workflow run 106

• Simply proof of discontinuity_countable

  failed:
  Generate HTML doc using Rocqnavi#105:Commit8f9dee9pushedbynmolinamounier
  count-discont

  Nov 9, 202615s
  More actions for workflow run 105

• cleanup

  failed:
  Generate HTML doc using Rocqnavi#104:Commitfafb492pushedbynmolinamounier
  topology-displays

  Nov 9, 202615s
  More actions for workflow run 104

• finish reordering args

  failed:
  Generate HTML doc using Rocqnavi#103:Commitb29e269pushedbynmolinamounier
  topology-displays

  Nov 9, 202614s
  More actions for workflow run 103

• Apply suggestion from @affeldt-aist

  failed:
  Generate HTML doc using Rocqnavi#102:Commitbe2f8f4pushedbyaffeldt-aist
  topology-displays

  Nov 9, 202615s
  More actions for workflow run 102

• Apply suggestion from @affeldt-aist

  failed:
  Generate HTML doc using Rocqnavi#101:Commit74b086bpushedbyaffeldt-aist
  topology-displays

  Nov 9, 202614s
  More actions for workflow run 101

• Apply suggestion from @affeldt-aist

  cancelled:
  Generate HTML doc using Rocqnavi#100:Commit0ab2ec2pushedbyaffeldt-aist
  topology-displays

  Nov 9, 202618s
  More actions for workflow run 100

• Publish master GitHub Pages

  completed successfully:
  Publish master GitHub Pages#60:Scheduled
  master

  Nov 8, 202654m 0s
  More actions for workflow run 60

• temp: remove notations & reorder args

  failed:
  Generate HTML doc using Rocqnavi#99:Commitf1fada0pushedbynmolinamounier
  topology-displays

  Nov 8, 202614s
  More actions for workflow run 99

• start fixing up library

  failed:
  Generate HTML doc using Rocqnavi#98:Commit8578f75pushedbynmolinamounier
  real-gen

  Nov 7, 202612s
  More actions for workflow run 98