HOL-Light

Workflow runs for HOL-Light

• x86_64 + HOL-Light: Replace rej_uniform_eta2/eta4 intrinsics with hand-written assembly and HOL-Light proofs

  completed successfully:
  HOL-Light#1022:Pull request#1188synchronizebyjakemas
  jakemas/rej-uniform-eta-asm

  Jul 14, 20262h 8m 42s
  More actions for workflow run 1022

• x86_64 + HOL-Light: Replace rej_uniform_eta2/eta4 intrinsics with hand-written assembly and HOL-Light proofs

  cancelled:
  HOL-Light#1021:Pull request#1188synchronizebyjakemas
  jakemas/rej-uniform-eta-asm

  Jul 14, 202621m 22s
  More actions for workflow run 1021

• x86_64 + HOL-Light: Replace rej_uniform_eta2/eta4 intrinsics with hand-written assembly and HOL-Light proofs

  cancelled:
  HOL-Light#1020:Pull request#1188synchronizebyjakemas
  jakemas/rej-uniform-eta-asm

  Jul 14, 202620m 12s
  More actions for workflow run 1020

• x86_64 + HOL-Light: Replace rej_uniform_eta2/eta4 intrinsics with hand-written assembly and HOL-Light proofs

  cancelled:
  HOL-Light#1019:Pull request#1188synchronizebyjakemas
  jakemas/rej-uniform-eta-asm

  Jul 14, 20262h 0m 22s
  More actions for workflow run 1019

• x86_64 + HOL-Light: Replace rej_uniform_eta2/eta4 intrinsics with hand-written assembly and HOL-Light proofs

  cancelled:
  HOL-Light#1018:Pull request#1188synchronizebyjakemas
  jakemas/rej-uniform-eta-asm

  Jul 14, 20268m 16s
  More actions for workflow run 1018

• x86_64 + HOL-Light: Replace rej_uniform_eta2/eta4 intrinsics with hand-written assembly and HOL-Light proofs

  cancelled:
  HOL-Light#1017:Pull request#1188synchronizebyjakemas
  jakemas/rej-uniform-eta-asm

  Jul 14, 202627m 45s
  More actions for workflow run 1017

• x86_64 + HOL-Light: Replace rej_uniform_eta2/eta4 intrinsics with hand-written assembly and HOL-Light proofs

  cancelled:
  HOL-Light#1016:Pull request#1188synchronizebyjakemas
  jakemas/rej-uniform-eta-asm

  Jul 14, 202632m 38s
  More actions for workflow run 1016

• x86_64 + HOL-Light: Replace rej_uniform_eta2/eta4 intrinsics with hand-written assembly and HOL-Light proofs

  completed successfully:
  HOL-Light#1015:Pull request#1188synchronizebyjakemas
  jakemas/rej-uniform-eta-asm

  Jul 14, 20262h 7m 19s
  More actions for workflow run 1015

• HOL-Light

  completed successfully:
  HOL-Light#1014:Merge group checks requested
  Jul 14, 202610m 33s
  More actions for workflow run 1014

• HOL-Light

  completed successfully:
  HOL-Light#1013:Merge group checks requested
  Jul 14, 202614m 8s
  More actions for workflow run 1013

• HOL-Light

  completed successfully:
  HOL-Light#1012:Merge group checks requested
  Jul 14, 202610m 47s
  More actions for workflow run 1012

• HOL-Light

  completed successfully:
  HOL-Light#1011:Merge group checks requested
  Jul 14, 202614m 50s
  More actions for workflow run 1011

• HOL-Light

  completed successfully:
  HOL-Light#1010:Merge group checks requested
  Jul 14, 202614m 16s
  More actions for workflow run 1010

• HOL-Light

  completed successfully:
  HOL-Light#1009:Merge group checks requested
  Jul 14, 202614m 34s
  More actions for workflow run 1009

• HOL-Light

  completed successfully:
  HOL-Light#1008:Merge group checks requested
  Jul 14, 202610m 59s
  More actions for workflow run 1008

• HOL-Light

  completed successfully:
  HOL-Light#1007:Merge group checks requested
  Jul 14, 20262h 11m 14s
  More actions for workflow run 1007

• x86_64 + HOL-Light: Replace rej_uniform_eta2/eta4 intrinsics with hand-written assembly and HOL-Light proofs

  completed successfully:
  HOL-Light#1006:Pull request#1188synchronizebyjakemas
  jakemas/rej-uniform-eta-asm

  Jul 13, 20262h 9m 40s
  More actions for workflow run 1006

• Add NUCLEO-N657X0-Q Zephyr hardware platform

  completed successfully:
  HOL-Light#1005:Pull request#1269synchronizebybremoran
  port-nucleo

  Jul 13, 20262h 12m 13s
  More actions for workflow run 1005

• HOL-Light

  completed successfully:
  HOL-Light#1004:Merge group checks requested
  Jul 13, 202613m 16s
  More actions for workflow run 1004

• HOL-Light

  completed successfully:
  HOL-Light#1003:Merge group checks requested
  Jul 13, 202614m 39s
  More actions for workflow run 1003

• HOL-Light

  completed successfully:
  HOL-Light#1002:Merge group checks requested
  Jul 13, 202610m 46s
  More actions for workflow run 1002

• HOL-Light

  completed successfully:
  HOL-Light#1001:Merge group checks requested
  Jul 13, 202611m 49s
  More actions for workflow run 1001

• HOL-Light

  completed successfully:
  HOL-Light#1000:Merge group checks requested
  Jul 12, 20262h 12m 12s
  More actions for workflow run 1000

• HOL-Light

  cancelled:
  HOL-Light#999:Merge group checks requested
  Jul 12, 20261h 11m 40s
  More actions for workflow run 999

• HOL-Light

  completed successfully:
  HOL-Light#998:Merge group checks requested
  Jul 11, 20262h 12m 2s
  More actions for workflow run 998