check

Workflow runs for check

• check

  completed successfully:
  check#67:Scheduled
  main

  Nov 2, 20261m 44s
  More actions for workflow run 67

• check

  completed successfully:
  check#66:Scheduled
  main

  Oct 26, 20263m 6s
  More actions for workflow run 66

• check

  completed successfully:
  check#65:Scheduled
  main

  Oct 19, 20262m 37s
  More actions for workflow run 65

• check

  completed successfully:
  check#64:Scheduled
  main

  Oct 12, 20261m 2s
  More actions for workflow run 64

• check

  completed successfully:
  check#63:Scheduled
  main

  Oct 5, 20262m 28s
  More actions for workflow run 63

• check

  completed successfully:
  check#62:Scheduled
  main

  Sep 28, 20261m 1s
  More actions for workflow run 62

• check

  completed successfully:
  check#61:Scheduled
  main

  Sep 21, 20261m 9s
  More actions for workflow run 61

• Merge pull request #6 from sysprog21/assignment-rows

  completed successfully:
  check#60:Commitc11e22cpushedbyjserv
  main

  Sep 21, 20261m 4s
  More actions for workflow run 60

• Preserve runs of compact assignment rows

  completed successfully:
  check#59:Pull request#6synchronizebyjserv
  assignment-rows

  Sep 21, 20261m 9s
  More actions for workflow run 59

• Preserve runs of compact assignment rows

  completed successfully:
  check#58:Commit86c7ba7pushedbyjserv
  assignment-rows

  Sep 21, 20261m 4s
  More actions for workflow run 58

• Preserve runs of compact assignment rows

  completed successfully:
  check#57:Pull request#6synchronizebyjserv
  assignment-rows

  Sep 21, 202654s
  More actions for workflow run 57

• Preserve runs of compact assignment rows

  completed successfully:
  check#56:Commit81ef659pushedbyjserv
  assignment-rows

  Sep 21, 202659s
  More actions for workflow run 56

• Preserve runs of compact assignment rows

  completed successfully:
  check#55:Pull request#6synchronizebyjserv
  assignment-rows

  Sep 21, 20261m 0s
  More actions for workflow run 55

• Compute mapping runs in one pass

  completed successfully:
  check#54:Commita41044dpushedbyjserv
  assignment-rows

  Sep 21, 20261m 15s
  More actions for workflow run 54

• Preserve runs of compact assignment rows

  completed successfully:
  check#53:Pull request#6synchronizebyjserv
  assignment-rows

  Sep 21, 20265m 45s
  More actions for workflow run 53

• Freeze a mapping run whole or not at all

  completed successfully:
  check#52:Commitc0bf4b8pushedbyjserv
  assignment-rows

  Sep 21, 20265m 14s
  More actions for workflow run 52

• Preserve runs of compact assignment rows

  completed successfully:
  check#51:Pull request#6synchronizebyjserv
  assignment-rows

  Sep 21, 20261m 19s
  More actions for workflow run 51

• Let the run rule alone decide a mapping row's fate

  completed successfully:
  check#50:Commit8b9f8d7pushedbyjserv
  assignment-rows

  Sep 21, 20261m 50s
  More actions for workflow run 50

• Preserve runs of compact assignment rows

  completed successfully:
  check#49:Pull request#6openedbyjserv
  assignment-rows

  Sep 21, 20262m 36s
  More actions for workflow run 49

• Preserve runs of compact assignment rows

  completed successfully:
  check#48:Commit98eaaa1pushedbyjserv
  assignment-rows

  Sep 21, 20262m 53s
  More actions for workflow run 48

• check

  completed successfully:
  check#47:Scheduled
  main

  Sep 14, 202616m 13s
  More actions for workflow run 47

• check

  completed successfully:
  check#46:Scheduled
  main

  Sep 7, 20263m 25s
  More actions for workflow run 46

• Merge pull request #5 from sysprog21/acsl

  completed successfully:
  check#45:Commit329ad41pushedbyjserv
  main

  Aug 31, 20263m 15s
  More actions for workflow run 45

• Manipulate markers in Frama-C ACSL annotations properly

  completed successfully:
  check#44:Pull request#5synchronizebyjserv
  acsl

  Aug 31, 20262m 40s
  More actions for workflow run 44

• Narrow the closer-split helper

  completed successfully:
  check#43:Commitdd3cf07pushedbyjserv
  acsl

  Aug 31, 20263m 21s
  More actions for workflow run 43