Skip to content

Actions: FStarLang/FStar

Actions

Check for stale hints

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
stale_hints.yml
144 workflow runs
144 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: switch Dockerfiles back to Ubuntu 22.04 LTS Check for stale hints #19: Pull request #3615 opened by tahina-pro
November 20, 2024 18:23 17s _taramana_ci
_taramana_ci
November 20, 2024 18:23 17s
Adding everparse-cbor to check-world Check for stale hints #18: Pull request #3604 synchronize by mtzguido
November 9, 2024 02:26 19s mtzguido:check_world_cbor
mtzguido:check_world_cbor
November 9, 2024 02:26 19s
Extraction: add OCaml extension passes as for Krml Check for stale hints #17: Pull request #3614 opened by mtzguido
November 9, 2024 01:19 18s mtzguido:extr
mtzguido:extr
November 9, 2024 01:19 18s
Advance to 2024.11.08~dev Check for stale hints #16: Pull request #3612 opened by dzomo
November 8, 2024 00:23 20s _BuildHints-master
_BuildHints-master
November 8, 2024 00:23 20s
Fix nix build, add mk/ to src list Check for stale hints #15: Pull request #3611 opened by mtzguido
November 7, 2024 18:55 25s mtzguido:nix
mtzguido:nix
November 7, 2024 18:55 25s
Fixing example in binary package Check for stale hints #14: Pull request #3610 opened by mtzguido
November 7, 2024 15:41 18s mtzguido:misc
mtzguido:misc
November 7, 2024 15:41 18s
An induction principle for reflexive transitive closure Check for stale hints #13: Pull request #3609 opened by nikswamy
November 7, 2024 04:33 14s _nik_induction_on_reflexive_transitive_closure
_nik_induction_on_reflexive_transitive_closure
November 7, 2024 04:33 14s
Substitution must be fully applied in extraction Check for stale hints #12: Pull request #3607 synchronize by nikswamy
November 7, 2024 04:31 14s _nik_490_revisited
_nik_490_revisited
November 7, 2024 04:31 14s
Advance to 2024.11.07~dev Check for stale hints #11: Pull request #3608 opened by dzomo
November 7, 2024 03:38 16s _BuildHints-master
_BuildHints-master
November 7, 2024 03:38 16s
Substitution must be fully applied in extraction Check for stale hints #10: Pull request #3607 opened by nikswamy
November 7, 2024 01:10 16s _nik_490_revisited
_nik_490_revisited
November 7, 2024 01:10 16s
test.mk: do not write checked files for output tests Check for stale hints #9: Pull request #3606 opened by mtzguido
November 6, 2024 22:12 17s mtzguido:fix
mtzguido:fix
November 6, 2024 22:12 17s
Misc patches Check for stale hints #8: Pull request #3605 opened by mtzguido
November 6, 2024 20:38 17s mtzguido:misc
mtzguido:misc
November 6, 2024 20:38 17s
Adding everparse-cbor to check-world Check for stale hints #7: Pull request #3604 opened by mtzguido
November 5, 2024 15:03 18s mtzguido:check_world_cbor
mtzguido:check_world_cbor
November 5, 2024 15:03 18s
OCaml Unix fully wrapped. Check for stale hints #6: Pull request #3599 opened by briangmilnes
November 1, 2024 20:25 17s briangmilnes:milnes-wrap-unix
briangmilnes:milnes-wrap-unix
November 1, 2024 20:25 17s
Much cleaner strings with index_extensionality (and for Seq and ImmutableArray) that does not create a new eq. Check for stale hints #5: Pull request #3598 opened by briangmilnes
October 29, 2024 03:15 14s briangmilnes:milnes-restring
briangmilnes:milnes-restring
October 29, 2024 03:15 14s
Added __FILELINE__ and it's test file Check for stale hints #4: Pull request #3597 opened by briangmilnes
October 28, 2024 19:28 15s briangmilnes:milnes-FILELINE
briangmilnes:milnes-FILELINE
October 28, 2024 19:28 15s
__FL__ added and tested Check for stale hints #3: Pull request #3574 synchronize by briangmilnes
October 28, 2024 18:13 17s briangmilnes:milnes-fl
briangmilnes:milnes-fl
October 28, 2024 18:13 17s
actions: adding a workflow to check for stale hints Check for stale hints #2: Pull request #3595 synchronize by mtzguido
October 24, 2024 04:51 15s mtzguido:stale
mtzguido:stale
October 24, 2024 04:51 15s
actions: adding a workflow to check for stale hints Check for stale hints #1: Pull request #3595 opened by mtzguido
October 24, 2024 04:50 15s mtzguido:stale
mtzguido:stale
October 24, 2024 04:50 15s