All workflows

Workflow runs

• Examples vs. develop

  completed successfully:
  Examples vs. develop#52:Scheduled
  main

  Oct 31, 20265m 17s
  More actions for workflow run 52

• Examples vs. develop

  completed successfully:
  Examples vs. develop#51:Scheduled
  main

  Oct 30, 20265m 41s
  More actions for workflow run 51

• pages build and deployment

  completed successfully:
  pages-build-deployment#103:bygithub-pages[bot]Bot
  gh-pages

  Oct 30, 202623s

• typr-release

  completed successfully:
  Deploy documentation#68:Repository dispatchtriggeredbyfabriceHategekimana
  Oct 30, 20262m 5s
  More actions for workflow run 68

• Update TypR grammar to 0.6.2

  failed:
  Deploy documentation#67:Commitcf7f993pushedbyfabriceHategekimana
  main

  Oct 30, 202615s
  More actions for workflow run 67

• Examples vs. develop

  completed successfully:
  Examples vs. develop#50:Scheduled
  main

  Oct 29, 20264m 53s
  More actions for workflow run 50

• Examples vs. develop

  completed successfully:
  Examples vs. develop#49:Scheduled
  main

  Oct 28, 20264m 8s
  More actions for workflow run 49

• Examples vs. develop

  completed successfully:
  Examples vs. develop#48:Scheduled
  main

  Oct 27, 20265m 27s
  More actions for workflow run 48

• Examples vs. develop

  completed successfully:
  Examples vs. develop#47:Scheduled
  main

  Oct 26, 20264m 45s
  More actions for workflow run 47

• Examples vs. develop

  completed successfully:
  Examples vs. develop#46:Scheduled
  main

  Oct 25, 20263m 56s
  More actions for workflow run 46

• pages build and deployment

  completed successfully:
  pages-build-deployment#102:bygithub-pages[bot]Bot
  gh-pages

  Oct 24, 202626s

• Updated interface.md and lexicon.md

  completed successfully:
  Deploy documentation#66:Commit8cfb29fpushedbyCyuHat
  main

  Oct 24, 20262m 24s
  More actions for workflow run 66

• Examples vs. develop

  completed successfully:
  Examples vs. develop#45:Scheduled
  main

  Oct 24, 20264m 37s
  More actions for workflow run 45

• Update whole-game.md

  failed:
  Deploy documentation#65:Commit99e16f4pushedbyCyuHat
  main

  Oct 23, 202613s
  More actions for workflow run 65

• The whole game first draft

  failed:
  Deploy documentation#64:Commitec5ce21pushedbyCyuHat
  main

  Oct 23, 202616s
  More actions for workflow run 64

• Merge branch 'main' of github.com:we-data-ch/typr.github.io

  failed:
  Deploy documentation#63:Commite5b2c9bpushedbyfabriceHategekimana
  main

  Oct 23, 202614s
  More actions for workflow run 63

• Examples vs. develop

  completed successfully:
  Examples vs. develop#44:Scheduled
  main

  Oct 23, 20264m 53s
  More actions for workflow run 44

• Examples vs. develop

  completed successfully:
  Examples vs. develop#43:Scheduled
  main

  Oct 22, 20264m 44s
  More actions for workflow run 43

• Examples vs. develop

  completed successfully:
  Examples vs. develop#42:Scheduled
  main

  Oct 21, 20264m 37s
  More actions for workflow run 42

• Examples vs. develop

  completed successfully:
  Examples vs. develop#41:Scheduled
  main

  Oct 20, 20264m 36s
  More actions for workflow run 41

• Examples vs. develop

  completed successfully:
  Examples vs. develop#40:Scheduled
  main

  Oct 19, 20265m 1s
  More actions for workflow run 40

• pages build and deployment

  completed successfully:
  pages-build-deployment#101:bygithub-pages[bot]Bot
  gh-pages

  Oct 19, 202628s

• install : scripts d installation (c3f7225)

  completed successfully:
  Deploy documentation#62:Commit1602c8cpushedbyfabriceHategekimana
  main

  Oct 19, 20262m 49s
  More actions for workflow run 62

• Examples vs. develop

  completed successfully:
  Examples vs. develop#39:Scheduled
  main

  Oct 18, 20264m 37s
  More actions for workflow run 39

• Examples vs. develop

  completed successfully:
  Examples vs. develop#38:Scheduled
  main

  Oct 17, 20264m 21s
  More actions for workflow run 38