Skip to content

Actions: FStarLang/FStar

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Splitting tuple types into separate modules for each CI #312: Pull request #3204 synchronize by mtzguido
February 12, 2025 06:39 35m 0s mtzguido:auto_tuple
mtzguido:auto_tuple
February 12, 2025 06:39 35m 0s
Merge pull request #3740 from mtzguido/ide_no_find CI #311: Commit 255d51b pushed by mtzguido
February 12, 2025 06:36 37m 47s master
master
February 12, 2025 06:36 37m 47s
FStarC.Range: do no try to find files when printing ranges CI #310: Pull request #3740 synchronize by mtzguido
February 12, 2025 05:57 38m 55s mtzguido:ide_no_find
mtzguido:ide_no_find
February 12, 2025 05:57 38m 55s
FStarC.Range: do no try to find files when printing ranges CI #309: Pull request #3740 synchronize by mtzguido
February 12, 2025 05:01 38m 12s mtzguido:ide_no_find
mtzguido:ide_no_find
February 12, 2025 05:01 38m 12s
Merge pull request #3742 from mtzguido/nits CI #308: Commit 1aa423d pushed by mtzguido
February 12, 2025 04:39 35m 45s master
master
February 12, 2025 04:39 35m 45s
Nits CI #307: Pull request #3742 opened by mtzguido
February 12, 2025 04:03 36m 0s mtzguido:nits
mtzguido:nits
February 12, 2025 04:03 36m 0s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #107: Scheduled
February 12, 2025 02:08 2h 40m 32s master
master
February 12, 2025 02:08 2h 40m 32s
F* nightly build F* nightly build #41: Scheduled
February 12, 2025 01:00 20m 25s master
master
February 12, 2025 01:00 20m 25s
FStarC.Range: do no try to find files when printing ranges CI #306: Pull request #3740 opened by mtzguido
February 11, 2025 22:05 35m 49s mtzguido:ide_no_find
mtzguido:ide_no_find
February 11, 2025 22:05 35m 49s
Merge pull request #3739 from mtzguido/3738 CI #305: Commit 380f688 pushed by mtzguido
February 11, 2025 20:06 36m 7s master
master
February 11, 2025 20:06 36m 7s
Fix #3738 CI #304: Pull request #3739 opened by mtzguido
February 11, 2025 18:38 36m 48s mtzguido:3738
mtzguido:3738
February 11, 2025 18:38 36m 48s
Merge pull request #3737 from mtzguido/euclid CI #303: Commit 7688da5 pushed by mtzguido
February 11, 2025 17:55 36m 33s master
master
February 11, 2025 17:55 36m 33s
FStar.Math.Euclid: stabilize proof CI #302: Pull request #3737 synchronize by mtzguido
February 11, 2025 17:18 36m 52s mtzguido:euclid
mtzguido:euclid
February 11, 2025 17:18 36m 52s
FStar.Math.Euclid: stabilize proof CI #301: Pull request #3737 opened by mtzguido
February 11, 2025 08:00 35m 40s mtzguido:euclid
mtzguido:euclid
February 11, 2025 08:00 35m 40s
Merge pull request #3736 from mtzguido/fix CI #300: Commit 40ecb12 pushed by mtzguido
February 11, 2025 07:24 35m 48s master
master
February 11, 2025 07:24 35m 48s
rlimit CI #299: Pull request #3736 synchronize by mtzguido
February 11, 2025 06:48 36m 13s mtzguido:fix
mtzguido:fix
February 11, 2025 06:48 36m 13s
rlimit CI #298: Pull request #3736 opened by mtzguido
February 11, 2025 06:47 27s mtzguido:fix
mtzguido:fix
February 11, 2025 06:47 27s
Merge pull request #3732 from mtzguido/prelude CI #297: Commit 37ad4a1 pushed by mtzguido
February 11, 2025 06:32 35m 27s master
master
February 11, 2025 06:32 35m 27s
Introducing FStar.Prelude, removing special casing for Prims/Pervasives internally CI #296: Pull request #3732 synchronize by mtzguido
February 11, 2025 05:56 36m 5s mtzguido:prelude
mtzguido:prelude
February 11, 2025 05:56 36m 5s
Introducing FStar.Prelude, removing special casing for Prims/Pervasives internally CI #295: Pull request #3732 synchronize by mtzguido
February 11, 2025 05:56 35m 17s mtzguido:prelude
mtzguido:prelude
February 11, 2025 05:56 35m 17s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #106: Scheduled
February 11, 2025 02:09 2h 41m 5s master
master
February 11, 2025 02:09 2h 41m 5s
Introducing FStar.Prelude, removing special casing for Prims/Pervasives internally CI #294: Pull request #3732 synchronize by mtzguido
February 11, 2025 01:36 35m 55s mtzguido:prelude
mtzguido:prelude
February 11, 2025 01:36 35m 55s
Introducing FStar.Prelude, removing special casing for Prims/Pervasives internally CI #293: Pull request #3732 synchronize by mtzguido
February 11, 2025 01:25 34m 52s mtzguido:prelude
mtzguido:prelude
February 11, 2025 01:25 34m 52s
Merge pull request #3735 from FStarLang/_nik_fsharp_option CI #292: Commit de88f79 pushed by mtzguido
February 11, 2025 01:24 35m 22s master
master
February 11, 2025 01:24 35m 22s
F* nightly build F* nightly build #40: Scheduled
February 11, 2025 00:59 20m 14s master
master
February 11, 2025 00:59 20m 14s