Skip to content

Actions: FStarLang/FStar

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
230 workflow runs
230 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Makefile: macos compatibility CI #205: Pull request #3702 opened by mtzguido
January 30, 2025 16:32 41m 14s mtzguido:mac
mtzguido:mac
January 30, 2025 16:32 41m 14s
Fixed Z3 version check again CI #204: Pull request #3700 synchronize by Johanmyst
January 30, 2025 07:20 35m 43s Johanmyst:master
Johanmyst:master
January 30, 2025 07:20 35m 43s
Fixed Z3 version check again CI #203: Pull request #3700 synchronize by Johanmyst
January 30, 2025 07:20 35m 2s Johanmyst:master
Johanmyst:master
January 30, 2025 07:20 35m 2s
Fixed Z3 version check again CI #202: Pull request #3700 synchronize by Johanmyst
January 30, 2025 07:19 35m 36s Johanmyst:master
Johanmyst:master
January 30, 2025 07:19 35m 36s
Merge pull request #3701 from mtzguido/misc CI #201: Commit 17a61dc pushed by mtzguido
January 30, 2025 01:35 35m 41s master
master
January 30, 2025 01:35 35m 41s
Misc patches for error reporting CI #200: Pull request #3701 opened by mtzguido
January 29, 2025 19:24 35m 31s mtzguido:misc
mtzguido:misc
January 29, 2025 19:24 35m 31s
Fixed Z3 version check again CI #199: Pull request #3700 opened by Johanmyst
January 29, 2025 15:28 35m 26s Johanmyst:master
Johanmyst:master
January 29, 2025 15:28 35m 26s
Carrying universes through to the SMT encoding CI #198: Pull request #3699 opened by nikswamy
January 29, 2025 04:11 37m 22s nik_smt_univs_2025
nik_smt_univs_2025
January 29, 2025 04:11 37m 22s
stabilize some examples, update expected error output CI #197: Commit 34a7559 pushed by nikswamy
January 28, 2025 23:54 37m 2s nik_smt_univs_2025
nik_smt_univs_2025
January 28, 2025 23:54 37m 2s
fix merge in EncodeTerm.fsti; tweak rlimit CI #196: Commit 870f277 pushed by nikswamy
January 25, 2025 20:23 36m 43s nik_smt_univs_2025
nik_smt_univs_2025
January 25, 2025 20:23 36m 43s
remove admit in Bug3120a CI #195: Commit cd692e8 pushed by nikswamy
January 25, 2025 17:22 37m 58s nik_smt_univs_2025
nik_smt_univs_2025
January 25, 2025 17:22 37m 58s
removing admit in ModifiesGen; narrowing admit in Bug3120a CI #194: Commit 78a67a0 pushed by nikswamy
January 25, 2025 02:33 37m 12s nik_smt_univs_2025
nik_smt_univs_2025
January 25, 2025 02:33 37m 12s
Merge pull request #3697 from mtzguido/realpath CI #193: Commit 7cd06c5 pushed by mtzguido
January 24, 2025 23:43 36m 0s master
master
January 24, 2025 23:43 36m 0s
FStarC.Util: make sure executable_name and exec_dir point to concrete… CI #192: Pull request #3697 opened by mtzguido
January 24, 2025 23:08 35m 14s mtzguido:realpath
mtzguido:realpath
January 24, 2025 23:08 35m 14s
Parser.Dep: do not fail if can't find base modules CI #191: Commit 8404816 pushed by mtzguido
January 24, 2025 20:26 36m 4s guido_misc
guido_misc
January 24, 2025 20:26 36m 4s
Merge pull request #3695 from mtzguido/nits2 CI #190: Commit b908f09 pushed by mtzguido
January 24, 2025 16:41 35m 12s master
master
January 24, 2025 16:41 35m 12s
Some build nits CI #189: Pull request #3695 opened by mtzguido
January 24, 2025 16:04 36m 30s mtzguido:nits2
mtzguido:nits2
January 24, 2025 16:04 36m 30s
Use the directory of any file on the command line in the include path rather than "." CI #188: Pull request #3690 synchronize by nikswamy
January 23, 2025 15:04 33m 46s _nik_revise_default_include_path
_nik_revise_default_include_path
January 23, 2025 15:04 33m 46s
Use the directory of any file on the command line in the include path rather than "." CI #187: Pull request #3690 synchronize by nikswamy
January 23, 2025 05:47 33m 28s _nik_revise_default_include_path
_nik_revise_default_include_path
January 23, 2025 05:47 33m 28s
Use the directory of any file on the command line in the include path rather than "." CI #186: Pull request #3690 synchronize by nikswamy
January 23, 2025 04:47 6m 13s _nik_revise_default_include_path
_nik_revise_default_include_path
January 23, 2025 04:47 6m 13s
Added Sigma and Pi (FStar.SigmaPi.fst*) to ulib. CI #185: Pull request #3691 synchronize by briangmilnes
January 20, 2025 19:35 35m 31s briangmilnes:milnes-sigmapi
briangmilnes:milnes-sigmapi
January 20, 2025 19:35 35m 31s
Added Sigma and Pi (FStar.SigmaPi.fst*) to ulib. CI #184: Pull request #3691 opened by briangmilnes
January 20, 2025 19:35 36m 19s briangmilnes:milnes-sigmapi
briangmilnes:milnes-sigmapi
January 20, 2025 19:35 36m 19s
Use the directory of any file on the command line in the include path rather than "." CI #183: Pull request #3690 synchronize by nikswamy
January 20, 2025 17:11 37m 25s _nik_revise_default_include_path
_nik_revise_default_include_path
January 20, 2025 17:11 37m 25s
Use the directory of any file on the command line in the include path rather than "." CI #182: Pull request #3690 synchronize by nikswamy
January 20, 2025 17:01 35m 26s _nik_revise_default_include_path
_nik_revise_default_include_path
January 20, 2025 17:01 35m 26s
Use the directory of any file on the command line in the include path rather than "." CI #181: Pull request #3690 synchronize by nikswamy
January 20, 2025 05:03 34m 50s _nik_revise_default_include_path
_nik_revise_default_include_path
January 20, 2025 05:03 34m 50s