All workflows

Workflow runs

• Publish bounded rank-width groups preprint

  completed successfully:
  Deploy website to GitHub Pages#38:Commit416baa4pushedbyfariedabuzaid
  main

  Oct 12, 202652s
  More actions for workflow run 38

• Announce AutStr v4, and the summer that led to it

  completed successfully:
  Deploy website to GitHub Pages#37:Commit0d24f31pushedbyfariedabuzaid
  main

  Aug 13, 20261m 10s
  More actions for workflow run 37

• Announce AutStr v2

  completed successfully:
  Deploy website to GitHub Pages#36:Commit6e51dd4pushedbyfariedabuzaid
  main

  Jul 7, 202653s
  More actions for workflow run 36

• Fix: consistently use lowercase ibtidai throughout

  completed successfully:
  Deploy website to GitHub Pages#35:Commitdecf9afpushedbyfariedabuzaid
  main

  May 25, 20261m 1s
  More actions for workflow run 35

• Rename to lowercase: Ibtidai → ibtidai

  completed successfully:
  Deploy website to GitHub Pages#34:Commit5e9a66cpushedbyfariedabuzaid
  main

  May 25, 202639s
  More actions for workflow run 34

• Move VeriFlow poster from Teaching to Recent Talks

  completed successfully:
  Deploy website to GitHub Pages#33:Commit0447839pushedbyfariedabuzaid
  main

  May 25, 20261m 1s
  More actions for workflow run 33

• Add thumbnails for Ibtidai posts

  completed successfully:
  Deploy website to GitHub Pages#32:Commit5c771f6pushedbyfariedabuzaid
  main

  May 25, 20261m 3s
  More actions for workflow run 32

• Add Ibtidai: announcement post, project entry, and teaching entry

  completed successfully:
  Deploy website to GitHub Pages#31:Commitbb8a4b0pushedbyfariedabuzaid
  main

  May 25, 202648s
  More actions for workflow run 31

• Add AAAI VeriFlow poster

  completed successfully:
  Deploy website to GitHub Pages#30:Commit0ebb936pushedbyfariedabuzaid
  main

  Mar 22, 202640s
  More actions for workflow run 30

• Add AAAI VeriFlow poster

  completed successfully:
  Deploy website to GitHub Pages#29:Commit01dfe69pushedbyfariedabuzaid
  main

  Mar 22, 202643s
  More actions for workflow run 29

• Updater (WIP)

  skipped:
  Updater (WIP)#18:Scheduled
  main

  Jan 11, 20261s
  More actions for workflow run 18

• Updater (WIP)

  skipped:
  Updater (WIP)#17:Scheduled
  main

  Jan 4, 20261s
  More actions for workflow run 17

• Updater (WIP)

  skipped:
  Updater (WIP)#16:Scheduled
  main

  Dec 28, 20251s
  More actions for workflow run 16

• Updater (WIP)

  skipped:
  Updater (WIP)#15:Scheduled
  main

  Dec 21, 20251s
  More actions for workflow run 15

• Updater (WIP)

  skipped:
  Updater (WIP)#14:Scheduled
  main

  Dec 14, 20251s
  More actions for workflow run 14

• Updater (WIP)

  skipped:
  Updater (WIP)#13:Scheduled
  main

  Dec 7, 20251s
  More actions for workflow run 13

• Updater (WIP)

  skipped:
  Updater (WIP)#12:Scheduled
  main

  Nov 30, 20251s
  More actions for workflow run 12

• Updater (WIP)

  skipped:
  Updater (WIP)#11:Scheduled
  main

  Nov 23, 20251s
  More actions for workflow run 11

• Updater (WIP)

  skipped:
  Updater (WIP)#10:Scheduled
  main

  Nov 16, 20251s
  More actions for workflow run 10

• Correct dates (final)

  completed successfully:
  Deploy website to GitHub Pages#28:Commit3f54840pushedbyfariedabuzaid
  main

  Nov 9, 202547s
  More actions for workflow run 28

• Typo

  completed successfully:
  Deploy website to GitHub Pages#27:Commitfa2dc09pushedbyfariedabuzaid
  main

  Nov 9, 202542s
  More actions for workflow run 27

• Typo

  completed successfully:
  Deploy website to GitHub Pages#26:Commit6de9903pushedbyfariedabuzaid
  main

  Nov 9, 202534s
  More actions for workflow run 26

• Update puplication date

  completed successfully:
  Deploy website to GitHub Pages#25:Commit785fc72pushedbyfariedabuzaid
  main

  Nov 9, 20251m 17s
  More actions for workflow run 25

• Update VeriFlow publication status

  completed successfully:
  Deploy website to GitHub Pages#24:Commit9cefdc8pushedbyfariedabuzaid
  main

  Nov 9, 20251m 9s
  More actions for workflow run 24

• Updater (WIP)

  skipped:
  Updater (WIP)#9:Scheduled
  main

  Nov 9, 20251s
  More actions for workflow run 9