CodeQL Advanced

Workflow runs for CodeQL Advanced

• Update phi documentation and enum usage in descr

  completed successfully:
  CodeQL Advanced#2014:Commitdedb0f2pushedbyjosevalim
  main

  Nov 10, 202643s
  More actions for workflow run 2014

• make format

  completed successfully:
  CodeQL Advanced#2013:Commit7ac48bdpushedbyjosevalim
  main

  Nov 9, 202649s
  More actions for workflow run 2013

• Do not expand captures and quote options twice

  completed successfully:
  CodeQL Advanced#2012:Commit3149a61pushedbyjosevalim
  main

  Nov 9, 202650s
  More actions for workflow run 2012

• Avoid expanding quote options twice

  completed successfully:
  CodeQL Advanced#2011:Pull request#16091openedbylukaszsamson
  lukaszsamson:codex/fix-quote-options-double-expansion

  Nov 9, 202640s
  More actions for workflow run 2011

• Preserve variable versions in cond boolean optimization (#16089)

  completed successfully:
  CodeQL Advanced#2010:Commit7bdabd9pushedbyjosevalim
  main

  Nov 9, 202637s
  More actions for workflow run 2010

• Eliminate open terms early in the bdd

  completed successfully:
  CodeQL Advanced#2009:Commit22e4414pushedbyjosevalim
  main

  Nov 9, 202647s
  More actions for workflow run 2009

• Gate mkdir_p test only when we can change permissions

  completed successfully:
  CodeQL Advanced#2008:Commit3b2e87dpushedbyjosevalim
  main

  Nov 9, 202640s
  More actions for workflow run 2008

• Preserve variable versions in cond boolean optimization

  completed successfully:
  CodeQL Advanced#2007:Pull request#16089openedbylukaszsamson
  lukaszsamson:codex/fix-cond-variable-version

  Nov 9, 202642s
  More actions for workflow run 2007

• Improve bootstrap by using lists module in descr

  completed successfully:
  CodeQL Advanced#2006:Commitb9565d8pushedbyjosevalim
  main

  Nov 9, 202641s
  More actions for workflow run 2006

• CodeQL Advanced

  completed successfully:
  CodeQL Advanced#2005:Scheduled
  main

  Nov 9, 202646s
  More actions for workflow run 2005

• Avoid Enum in IO.warn/1 and File.Stream

  completed successfully:
  CodeQL Advanced#2004:Commit3cca9e9pushedbyjosevalim
  main

  Nov 9, 20261m 8s
  More actions for workflow run 2004

• Do not fold URI parsing calls at compile time (#16087)

  completed successfully:
  CodeQL Advanced#2003:Commit469b7c7pushedbyjosevalim
  main

  Nov 9, 202638s
  More actions for workflow run 2003

• Fold descr differences with maps:fold/3

  completed successfully:
  CodeQL Advanced#2002:Commit8b57af5pushedbyjosevalim
  main

  Nov 8, 202648s
  More actions for workflow run 2002

• Ensure failing guards do not leak in for

  completed successfully:
  CodeQL Advanced#2001:Commit320427fpushedbyjosevalim
  main

  Nov 8, 20261m 56s
  More actions for workflow run 2001

• Do not fold URI parsing calls at compile time

  completed successfully:
  CodeQL Advanced#2000:Pull request#16087openedbylukaszsamson
  lukaszsamson:codex/uri-runtime-default-port

  Nov 8, 202642s
  More actions for workflow run 2000

• Improve :file info type in stacktrace entries

  completed successfully:
  CodeQL Advanced#1999:Pull request#15892synchronizebylukaszsamson
  lukaszsamson:ls-stacktrace-type-improve

  Nov 8, 202638s
  More actions for workflow run 1999

• Keep the exit status when the CLI cannot print an error to stderr (#1…

  completed successfully:
  CodeQL Advanced#1998:Commita17c2c4pushedbyjosevalim
  main

  Nov 8, 202637s
  More actions for workflow run 1998

• Keep the exit status when the CLI cannot print an error to stderr

  completed successfully:
  CodeQL Advanced#1997:Pull request#16080synchronizebyjosevalim
  lessthanseventy:cli-print-error-dead-stderr

  Nov 8, 202636s
  More actions for workflow run 1997

• Treat map_get/2 with non-atom keys as failing on values

  completed successfully:
  CodeQL Advanced#1996:Commitc1860d3pushedbyjosevalim
  main

  Nov 8, 20263m 34s
  More actions for workflow run 1996

• Correct the absolute-time argument type for Process.send_after/4 (#16…

  completed successfully:
  CodeQL Advanced#1995:Commitda66f86pushedbyjosevalim
  main

  Nov 8, 20261m 31s
  More actions for workflow run 1995

• Correct Process.spawn monitor options in typespecs and documentation …

  completed successfully:
  CodeQL Advanced#1994:Commitd064c28pushedbyjosevalim
  main

  Nov 8, 202637s
  More actions for workflow run 1994

• Clarify the return value and indexing of List.pop_at/3 (#16082)

  completed successfully:
  CodeQL Advanced#1993:Commit8c7bb1fpushedbyjosevalim
  main

  Nov 8, 202650s
  More actions for workflow run 1993

• Correct the absolute-time argument type for Process.send_after/4

  failed:
  CodeQL Advanced#1992:Pull request#16084openedbypreciz
  preciz:fix/process-send-after-absolute-time

  Nov 8, 20267m 50s
  More actions for workflow run 1992

• Correct Process.spawn monitor options in typespecs and documentation

  failed:
  CodeQL Advanced#1991:Pull request#16083openedbypreciz
  preciz:fix/process-spawn-monitor-options

  Nov 8, 202638m 47s
  More actions for workflow run 1991

• Clarify the return value and indexing of List.pop_at/3

  failed:
  CodeQL Advanced#1990:Pull request#16082openedbypreciz
  preciz:docs/list-pop-at-return-value

  Nov 8, 20261h 22m 9s
  More actions for workflow run 1990