All workflows

Workflow runs

• CI (Alpine)

  completed successfully:
  CI (Alpine)#18:Scheduled
  master

  Oct 1, 202634m 38s
  More actions for workflow run 18

• CI (Coq, Debian)

  completed successfully:
  CI (Coq, Debian)#18:Scheduled
  master

  Oct 1, 202636m 24s
  More actions for workflow run 18

• CI (Alpine)

  failed:
  CI (Alpine)#17:Scheduled
  master

  Sep 1, 202627s
  More actions for workflow run 17

• CI (Coq, Debian)

  completed successfully:
  CI (Coq, Debian)#17:Scheduled
  master

  Sep 1, 202632m 45s
  More actions for workflow run 17

• Merge pull request #552 from miriampolzer/speedup_straightline

  completed successfully:
  CI (Alpine)#16:Commitbd9776fpushedbymiriampolzer
  master

  Aug 20, 202634m 59s
  More actions for workflow run 16

• Merge pull request #552 from miriampolzer/speedup_straightline

  completed successfully:
  CI (Coq, docker, dev)#8:Commitbd9776fpushedbymiriampolzer
  master

  Aug 20, 202628m 30s
  More actions for workflow run 8

• Merge pull request #552 from miriampolzer/speedup_straightline

  completed successfully:
  CI (Coq, Debian)#16:Commitbd9776fpushedbymiriampolzer
  master

  Aug 20, 202630m 18s
  More actions for workflow run 16

• Merge pull request #509 from proux01/rocq21478

  completed successfully:
  CI (Coq, docker, dev)#7:Commitdb4efdbpushedbymiriampolzer
  master

  Jun 24, 202628m 29s
  More actions for workflow run 7

• CI (Coq, Debian)

  completed successfully:
  CI (Coq, Debian)#15:Scheduled
  master

  Jun 1, 202642m 19s
  More actions for workflow run 15

• CI (Alpine)

  completed successfully:
  CI (Alpine)#15:Scheduled
  master

  Jun 1, 202635m 44s
  More actions for workflow run 15

• CI (Coq, Debian)

  completed successfully:
  CI (Coq, Debian)#14:Scheduled
  master

  May 1, 202637m 7s
  More actions for workflow run 14

• CI (Alpine)

  completed successfully:
  CI (Alpine)#14:Scheduled
  master

  May 1, 202635m 2s
  More actions for workflow run 14

• CI (Coq, Debian)

  completed successfully:
  CI (Coq, Debian)#13:Scheduled
  master

  Apr 1, 202640m 5s
  More actions for workflow run 13

• CI (Alpine)

  failed:
  CI (Alpine)#13:Scheduled
  master

  Apr 1, 202614s
  More actions for workflow run 13

• Bump deps/coqutil from 6644c13 to 99f8ed4 (#518)

  completed successfully:
  CI (Alpine)#12:Commitdfa0b8cpushedbymiriampolzer
  master

  Mar 11, 202632m 7s
  More actions for workflow run 12

• Bump deps/coqutil from 6644c13 to 99f8ed4 (#518)

  completed successfully:
  CI (Coq, Debian)#12:Commitdfa0b8cpushedbymiriampolzer
  master

  Mar 11, 202640m 57s
  More actions for workflow run 12

• Bump deps/coqutil from 6644c13 to 99f8ed4 (#518)

  completed successfully:
  CI (Coq, docker, dev)#6:Commitdfa0b8cpushedbymiriampolzer
  master

  Mar 11, 202631m 22s
  More actions for workflow run 6

• CI (Coq, Debian)

  completed successfully:
  CI (Coq, Debian)#11:Scheduled
  master

  Mar 1, 202639m 40s
  More actions for workflow run 11

• CI (Alpine)

  completed successfully:
  CI (Alpine)#11:Scheduled
  master

  Mar 1, 202633m 32s
  More actions for workflow run 11

• Add cswap function to examples (#512)

  completed successfully:
  CI (Coq, Debian)#10:Commitca9b09apushedbymiriampolzer
  master

  Feb 17, 202646m 52s
  More actions for workflow run 10

• Add cswap function to examples (#512)

  completed successfully:
  CI (Alpine)#10:Commitca9b09apushedbymiriampolzer
  master

  Feb 17, 202634m 29s
  More actions for workflow run 10

• Add cswap function to examples (#512)

  completed successfully:
  CI (Coq, docker, dev)#5:Commitca9b09apushedbymiriampolzer
  master

  Feb 17, 202630m 28s
  More actions for workflow run 5

• Bump deps/coqutil from fa7e209 to c124f9c (#510)

  completed successfully:
  CI (Coq, Debian)#9:Commit4c2bf2cpushedbymiriampolzer
  master

  Feb 2, 202639m 46s
  More actions for workflow run 9

• Bump deps/coqutil from fa7e209 to c124f9c (#510)

  completed successfully:
  CI (Coq, docker, dev)#4:Commit4c2bf2cpushedbymiriampolzer
  master

  Feb 2, 202630m 53s
  More actions for workflow run 4

• Bump deps/coqutil from fa7e209 to c124f9c (#510)

  completed successfully:
  CI (Alpine)#9:Commit4c2bf2cpushedbymiriampolzer
  master

  Feb 2, 202635m 15s
  More actions for workflow run 9