All workflows

Workflow runs

• Build master

  completed successfully:
  Build master#49:Scheduled
  master

  Mar 2, 20269m 43s
  More actions for workflow run 49

• Build master

  completed successfully:
  Build master#48:Scheduled
  master

  Feb 23, 20269m 5s
  More actions for workflow run 48

• Build master

  completed successfully:
  Build master#47:Scheduled
  master

  Feb 16, 20269m 33s
  More actions for workflow run 47

• Build master

  completed successfully:
  Build master#46:Scheduled
  master

  Feb 9, 20269m 25s
  More actions for workflow run 46

• Build master

  completed successfully:
  Build master#45:Scheduled
  master

  Feb 2, 20269m 17s
  More actions for workflow run 45

• Build master

  completed successfully:
  Build master#44:Scheduled
  master

  Jan 26, 20269m 11s
  More actions for workflow run 44

• Build master

  completed successfully:
  Build master#43:Scheduled
  master

  Jan 19, 20269m 7s
  More actions for workflow run 43

• Build master

  completed successfully:
  Build master#42:Scheduled
  master

  Jan 12, 20269m 20s
  More actions for workflow run 42

• Build master

  completed successfully:
  Build master#41:Scheduled
  master

  Jan 5, 20269m 21s
  More actions for workflow run 41

• Build master

  completed successfully:
  Build master#40:Scheduled
  master

  Dec 29, 20259m 23s
  More actions for workflow run 40

• Use both PPX and camlp5 in demo2

  completed successfully:
  Build master#39:Commit99d38fbpushedbyKakadu
  master

  Dec 27, 20259m 10s
  More actions for workflow run 39

• Polishing demo5

  completed successfully:
  Build master#38:Commita4c0731pushedbyKakadu
  master

  Dec 27, 20257m 45s
  More actions for workflow run 38

• Build master

  failed:
  Build master#37:Scheduled
  master

  Dec 22, 202552s
  More actions for workflow run 37

• Build master

  completed successfully:
  Build master#36:Scheduled
  master

  Dec 15, 20254m 49s
  More actions for workflow run 36

• Build master

  completed successfully:
  Build master#35:Scheduled
  master

  Dec 8, 20254m 50s
  More actions for workflow run 35

• CI

  completed successfully:
  Build master#34:Commit93959afpushedbyKakadu
  master

  Dec 3, 20254m 54s
  More actions for workflow run 34

• Promote tests

  failed:
  Build master#33:Commitcc47bd4pushedbyKakadu
  master

  Dec 3, 20251m 2s
  More actions for workflow run 33

• run some test programs in CI

  failed:
  Build master#32:Commita903cc9pushedbyKakadu
  master

  Dec 3, 20251m 4s
  More actions for workflow run 32

• CI

  completed successfully:
  Build master#31:Commit1c03025pushedbyKakadu
  master

  Dec 3, 20254m 58s
  More actions for workflow run 31

• Promote tests

  failed:
  Build master#30:Commit3a43d52pushedbyKakadu
  master

  Dec 3, 20254m 12s
  More actions for workflow run 30

• Fix compilation errors

  failed:
  Build master#29:Commit28d9469pushedbyKakadu
  master

  Dec 3, 20254m 49s
  More actions for workflow run 29

• CI: change docker image

  failed:
  Build master#28:Commitcaa04eapushedbyKakadu
  master

  Dec 3, 20257m 8s
  More actions for workflow run 28

• WIP CI

  failed:
  Build master#27:Commitd6836ccpushedbyKakadu
  master

  Dec 3, 20251m 16s
  More actions for workflow run 27

• compile demo5 in a workflow too

  failed:
  Build master#26:Commitd216ff2pushedbyKakadu
  master

  Dec 3, 202553s
  More actions for workflow run 26

• Fix example for new noCanren

  failed:
  Build master#25:Commitffe13d9pushedbyKakadu
  master

  Dec 3, 20251m 6s
  More actions for workflow run 25