All workflows

Workflow runs

• 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

• Manipulate markers in Frama-C ACSL annotations properly

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

  Aug 31, 20261m 45s
  More actions for workflow run 42

• Narrow the closer-split helper and state what it trims

  completed successfully:
  check#41:Commitc9de083pushedbyjserv
  acsl

  Aug 31, 202648s
  More actions for workflow run 41

• Manipulate markers in Frama-C ACSL annotations properly

  completed successfully:
  check#40:Pull request#5openedbyjserv
  acsl

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