CI

Workflow runs for CI

• Updated proofs

  failed:
  CI#12:Pull request#52openedbymarekpetrik
  main

  Oct 23, 20262m 6s
  More actions for workflow run 12

• Merge pull request #51 from formalproofs/refactor-name-type

  failed:
  CI#11:Commit00fc841pushedbymarekpetrik
  main

  Oct 12, 202610m 47s
  More actions for workflow run 11

• Refactor name type

  failed:
  CI#10:Pull request#51openedbymarekpetrik
  refactor-name-type

  Oct 12, 20267m 52s
  More actions for workflow run 10

• Merge pull request #50 from formalproofs/refactor-name-type

  failed:
  CI#9:Commit7d9006fpushedbymarekpetrik
  main

  Sep 25, 20262m 26s
  More actions for workflow run 9

• Refactor name type

  failed:
  CI#8:Pull request#50openedbymarekpetrik
  refactor-name-type

  Sep 25, 20262m 29s
  More actions for workflow run 8

• cleaned up some results

  failed:
  CI#7:Commit161f4dbpushedbymarekpetrik
  main

  Sep 6, 202629m 3s
  More actions for workflow run 7

• CI badge

  failed:
  CI#6:Commite85e9a0pushedbymarekpetrik
  main

  Sep 4, 202636m 22s
  More actions for workflow run 6

• udpated readme

  cancelled:
  CI#5:Commit40b2f27pushedbymarekpetrik
  main

  Sep 4, 20262m 38s
  More actions for workflow run 5

• Merge pull request #49 from formalproofs/generalize-finenum-sample-space

  cancelled:
  CI#4:Commitb605a61pushedbymarekpetrik
  main

  Sep 4, 20268m 4s
  More actions for workflow run 4

• updated workflow to cache results

  failed:
  CI#3:Pull request#49openedbymarekpetrik
  generalize-finenum-sample-space

  Sep 4, 202643m 44s
  More actions for workflow run 3

• Merge pull request #48 from formalproofs/generalize-finenum-sample-space

  cancelled:
  CI#2:Commit94eb51cpushedbymarekpetrik
  main

  Sep 4, 20265m 20s
  More actions for workflow run 2

• Generalize finenum sample space

  failed:
  CI#1:Pull request#48openedbymarekpetrik
  generalize-finenum-sample-space

  Sep 4, 202629m 25s
  More actions for workflow run 1