All workflows

Workflow runs

• pages build and deployment

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

  Nov 4, 202631s

• MSL coverage

  completed successfully:
  MSL coverage#26:Scheduled
  master

  Nov 4, 20263h 3m 39s
  More actions for workflow run 26

• pages build and deployment

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

  Nov 1, 20261m 6s

• MSL coverage

  completed successfully:
  MSL coverage#25:Scheduled
  master

  Nov 1, 20262h 44m 36s
  More actions for workflow run 25

• pages build and deployment

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

  Nov 1, 202630s

• MSL coverage

  completed successfully:
  MSL coverage#24:Scheduled
  master

  Nov 1, 20262h 46m 28s
  More actions for workflow run 24

• pages build and deployment

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

  Oct 31, 202633s

• MSL coverage

  completed successfully:
  MSL coverage#23:Scheduled
  master

  Oct 31, 20262h 47m 38s
  More actions for workflow run 23

• Runner: a registry observed filter at translate and simulate; reference filter removed

  completed successfully:
  Smoke#20:Pull request#16openedbyJKRT
  machines-cluster

  Oct 29, 202628m 41s
  More actions for workflow run 20

• Coverage: publish onto the branch's current head (#15)

  completed successfully:
  Smoke#19:Commit11f98c6pushedbyJKRT
  master

  Oct 29, 202627m 11s
  More actions for workflow run 19

• pages build and deployment

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

  Oct 28, 202630s

• MSL coverage

  completed successfully:
  MSL coverage#22:Manually runbyJKRT
  master

  Oct 28, 20262h 34m 3s
  More actions for workflow run 22

• pages build and deployment

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

  Oct 28, 20261m 30s

• Coverage: publish onto the branch's current head

  completed successfully:
  Smoke#18:Pull request#15openedbyJKRT
  coverage-docs-rebase

  Oct 28, 202612m 10s
  More actions for workflow run 18

• MSL coverage

  cancelled:
  MSL coverage#21:Manually runbyJKRT
  master

  Oct 28, 202651s
  More actions for workflow run 21

• MSL coverage

  completed successfully:
  MSL coverage#20:Manually runbyJKRT
  master

  Oct 28, 20262h 19m 10s
  More actions for workflow run 20

• Validation as OpenModelica's library testing: omc's tube comparison i…

  completed successfully:
  Smoke#17:Commit7ef7d9cpushedbyJKRT
  master

  Oct 28, 202641m 56s
  More actions for workflow run 17

• pages build and deployment

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

  Oct 28, 202637s

• Validation as OpenModelica's library testing: omc's tube comparison in Julia

  completed successfully:
  Smoke#16:Pull request#14openedbyJKRT
  signal-event-timing

  Oct 28, 202640m 16s
  More actions for workflow run 16

• MSL coverage

  completed successfully:
  MSL coverage#19:Scheduled
  master

  Oct 28, 20262h 33m 44s
  More actions for workflow run 19

• pages build and deployment

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

  Oct 28, 202633s

• MSL coverage

  completed successfully:
  MSL coverage#18:Manually runbyJKRT
  master

  Oct 28, 20262h 19m 43s
  More actions for workflow run 18

• pages build and deployment

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

  Oct 28, 202625s

• MSL coverage

  completed successfully:
  MSL coverage#17:Manually runbyJKRT
  master

  Oct 27, 20263h 18m 55s
  More actions for workflow run 17

• Registry: validate at the default tolerance over the experiment's hor…

  completed successfully:
  Smoke#15:Commit7e35fd3pushedbyJKRT
  master

  Oct 27, 202617m 1s
  More actions for workflow run 15