Skip to content

Actions: FStarLang/FStar

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,432 workflow runs
3,432 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #3761 from mtzguido/fix_imp_inst CI #357: Commit c90d59a pushed by mtzguido
February 15, 2025 15:54 38m 42s master
master
February 15, 2025 15:54 38m 42s
Tc: binder attributes should not trigger instantiations CI #356: Pull request #3761 opened by mtzguido
February 15, 2025 06:36 39m 2s mtzguido:fix_imp_inst
mtzguido:fix_imp_inst
February 15, 2025 06:36 39m 2s
Merge pull request #3758 from mtzguido/range_basename CI #355: Commit d5e2783 pushed by mtzguido
February 15, 2025 05:34 37m 23s master
master
February 15, 2025 05:34 37m 23s
Adding attributes to projectors, discriminators, and methods CI #354: Pull request #3760 synchronize by mtzguido
February 15, 2025 05:11 9m 9s mtzguido:proj_attrs
mtzguido:proj_attrs
February 15, 2025 05:11 9m 9s
FStarC.Range: always use basenames CI #353: Pull request #3758 synchronize by mtzguido
February 15, 2025 04:07 37m 47s mtzguido:range_basename
mtzguido:range_basename
February 15, 2025 04:07 37m 47s
Merge pull request #3759 from mtzguido/timing CI #352: Commit e67d0f9 pushed by mtzguido
February 15, 2025 04:03 38m 0s master
master
February 15, 2025 04:03 38m 0s
Adding attributes to projectors, discriminators, and methods CI #351: Pull request #3760 opened by mtzguido
February 15, 2025 03:27 37m 12s mtzguido:proj_attrs
mtzguido:proj_attrs
February 15, 2025 03:27 37m 12s
FStarC.Timing: split timing funs away from FStarC.Util CI #350: Pull request #3759 opened by mtzguido
February 15, 2025 03:26 37m 3s mtzguido:timing
mtzguido:timing
February 15, 2025 03:26 37m 3s
FStarC.Range: always use basenames CI #349: Pull request #3758 opened by mtzguido
February 15, 2025 03:22 37m 12s mtzguido:range_basename
mtzguido:range_basename
February 15, 2025 03:22 37m 12s
Merge pull request #3756 from mtzguido/friend-everquic CI #348: Commit c95c87c pushed by mtzguido
February 15, 2025 03:15 37m 32s master
master
February 15, 2025 03:15 37m 32s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #111: Scheduled
February 15, 2025 02:08 3h 33m 42s master
master
February 15, 2025 02:08 3h 33m 42s
F* nightly build F* nightly build #44: Scheduled
February 15, 2025 00:59 24m 59s master
master
February 15, 2025 00:59 24m 59s
Add everquic-crypto to check-world CI #347: Pull request #3756 opened by mtzguido
February 15, 2025 00:47 37m 53s mtzguido:friend-everquic
mtzguido:friend-everquic
February 15, 2025 00:47 37m 53s
Introduce .scripts/remove_unused_opens.sh CI #346: Pull request #3755 opened by mtzguido
February 14, 2025 22:50 37m 50s mtzguido:unused
mtzguido:unused
February 14, 2025 22:50 37m 50s
Erase functions to fun CI #345: Pull request #3661 synchronize by gebner
February 14, 2025 22:07 38m 24s gebner_erase_fun
gebner_erase_fun
February 14, 2025 22:07 38m 24s
Fix test. CI #344: Commit 2e971c2 pushed by gebner
February 14, 2025 22:07 38m 1s gebner_erase_fun
gebner_erase_fun
February 14, 2025 22:07 38m 1s
Merge pull request #3751 from mtzguido/int_fits CI #343: Commit 3fe597b pushed by mtzguido
February 14, 2025 20:46 37m 47s master
master
February 14, 2025 20:46 37m 47s
IntN: add a fits for every module CI #342: Pull request #3751 synchronize by mtzguido
February 14, 2025 16:54 38m 14s mtzguido:int_fits
mtzguido:int_fits
February 14, 2025 16:54 38m 14s
Merge pull request #3753 from mtzguido/cmdline CI #341: Commit f46939e pushed by mtzguido
February 14, 2025 16:02 36m 37s master
master
February 14, 2025 16:02 36m 37s
Simplifying command-line usage of F* CI #340: Pull request #3753 synchronize by mtzguido
February 14, 2025 05:58 37m 11s mtzguido:cmdline
mtzguido:cmdline
February 14, 2025 05:58 37m 11s
Merge pull request #3752 from FStarLang/_nik_context_pruning_default CI #339: Commit 69a61e9 pushed by nikswamy
February 14, 2025 05:18 36m 31s master
master
February 14, 2025 05:18 36m 31s
Simplifying command-line usage of F* CI #338: Pull request #3753 synchronize by mtzguido
February 14, 2025 03:57 37m 17s mtzguido:cmdline
mtzguido:cmdline
February 14, 2025 03:57 37m 17s
IntN: add a fits for every module CI #337: Pull request #3751 synchronize by mtzguido
February 14, 2025 03:54 38m 25s mtzguido:int_fits
mtzguido:int_fits
February 14, 2025 03:54 38m 25s
Context pruning is set by default CI #336: Pull request #3752 synchronize by mtzguido
February 14, 2025 03:50 36m 38s _nik_context_pruning_default
_nik_context_pruning_default
February 14, 2025 03:50 36m 38s
Merge pull request #3754 from mtzguido/fixbuild CI #335: Commit ed1dedf pushed by mtzguido
February 14, 2025 03:13 36m 4s master
master
February 14, 2025 03:13 36m 4s