All workflows

Workflow runs

• 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

• Publish master GitHub Pages

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

  Nov 7, 202658m 18s
  More actions for workflow run 59

• Publish master GitHub Pages

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

  Nov 6, 202657m 1s
  More actions for workflow run 58

• start refactoring reals.v

  failed:
  Generate HTML doc using Rocqnavi#97:Commit90b011dpushedbynmolinamounier
  real-gen

  Nov 6, 202615s
  More actions for workflow run 97

• Publish master GitHub Pages

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

  Nov 5, 202641m 27s
  More actions for workflow run 57

• start refactoring reals.v

  failed:
  Generate HTML doc using Rocqnavi#96:Commit83e9076pushedbynmolinamounier
  real-gen

  Nov 5, 202616s
  More actions for workflow run 96

• Publish master GitHub Pages

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

  Nov 4, 202650m 58s
  More actions for workflow run 56