Skip to content

Actions: FStarLang/FStar

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
941 workflow run results
941 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Injectivity of inductive types revisited Build and test FStar #3251: Pull request #3253 synchronize by nikswamy
April 19, 2024 17:29 3m 43s nik_restrict_injectivity
nik_restrict_injectivity
April 19, 2024 17:29 3m 43s
Injectivity of inductive types revisited Nix Build #313: Pull request #3253 synchronize by nikswamy
April 19, 2024 17:29 2m 25s nik_restrict_injectivity
nik_restrict_injectivity
April 19, 2024 17:29 2m 25s
refactoring encoding of inductive type and datacon to prepare for a r… Build and test FStar #3250: Commit 35380d3 pushed by nikswamy
April 19, 2024 17:29 3m 58s nik_restrict_injectivity
nik_restrict_injectivity
April 19, 2024 17:29 3m 58s
Rebuild base image Rebuild base image #345: Scheduled
April 19, 2024 02:19 19m 12s master
master
April 19, 2024 02:19 19m 12s
Some fixes/improvements to the core typechecker Nix Build #312: Pull request #3256 opened by mtzguido
April 19, 2024 00:10 17m 20s mtzguido:core
mtzguido:core
April 19, 2024 00:10 17m 20s
Some fixes/improvements to the core typechecker Build and test FStar #3249: Pull request #3256 opened by mtzguido
April 19, 2024 00:10 12m 50s mtzguido:core
mtzguido:core
April 19, 2024 00:10 12m 50s
Injectivity of inductive types revisited Build and test FStar #3248: Pull request #3253 synchronize by nikswamy
April 18, 2024 18:56 13m 56s nik_restrict_injectivity
nik_restrict_injectivity
April 18, 2024 18:56 13m 56s
Injectivity of inductive types revisited Nix Build #311: Pull request #3253 synchronize by nikswamy
April 18, 2024 18:56 7m 53s nik_restrict_injectivity
nik_restrict_injectivity
April 18, 2024 18:56 7m 53s
merge master in Build and test FStar #3247: Commit bbdff51 pushed by nikswamy
April 18, 2024 18:56 14m 7s nik_restrict_injectivity
nik_restrict_injectivity
April 18, 2024 18:56 14m 7s
Add [@@no_inline_let] annotation Build and test FStar #3246: Pull request #3169 synchronize by mtzguido
April 18, 2024 17:28 11m 54s amosr:amos/noinlinelet
amosr:amos/noinlinelet
April 18, 2024 17:28 11m 54s
Add [@@no_inline_let] annotation Nix Build #310: Pull request #3169 synchronize by mtzguido
April 18, 2024 17:28 17m 21s amosr:amos/noinlinelet
amosr:amos/noinlinelet
April 18, 2024 17:28 17m 21s
Merge pull request #3242 from mtzguido/reals Build and test FStar #3245: Commit e95e387 pushed by mtzguido
April 18, 2024 16:05 11m 10s master
master
April 18, 2024 16:05 11m 10s
Making Reals erasable, and providing a reflection API for real literals Nix Build #309: Pull request #3242 synchronize by mtzguido
April 18, 2024 15:40 7m 40s mtzguido:reals
mtzguido:reals
April 18, 2024 15:40 7m 40s
Making Reals erasable, and providing a reflection API for real literals Build and test FStar #3244: Pull request #3242 synchronize by mtzguido
April 18, 2024 15:40 12m 43s mtzguido:reals
mtzguido:reals
April 18, 2024 15:40 12m 43s
Injectivity of inductive types revisited Nix Build #308: Pull request #3253 synchronize by nikswamy
April 18, 2024 15:14 8m 4s nik_restrict_injectivity
nik_restrict_injectivity
April 18, 2024 15:14 8m 4s
Injectivity of inductive types revisited Build and test FStar #3243: Pull request #3253 synchronize by nikswamy
April 18, 2024 15:14 13m 27s nik_restrict_injectivity
nik_restrict_injectivity
April 18, 2024 15:14 13m 27s
Merge branch 'master' into nik_restrict_injectivity Build and test FStar #3242: Commit 1057ff2 pushed by nikswamy
April 18, 2024 15:14 13m 40s nik_restrict_injectivity
nik_restrict_injectivity
April 18, 2024 15:14 13m 40s
Merge pull request #3255 from mtzguido/misc Build and test FStar #3241: Commit a80d03c pushed by mtzguido
April 18, 2024 04:10 11m 11s master
master
April 18, 2024 04:10 11m 11s
Small fix + cleanup in Core Nix Build #307: Pull request #3255 opened by mtzguido
April 18, 2024 04:00 17m 17s mtzguido:misc
mtzguido:misc
April 18, 2024 04:00 17m 17s
Small fix + cleanup in Core Build and test FStar #3240: Pull request #3255 opened by mtzguido
April 18, 2024 04:00 9m 28s mtzguido:misc
mtzguido:misc
April 18, 2024 04:00 9m 28s
Rebuild base image Rebuild base image #344: Scheduled
April 18, 2024 02:17 19m 40s master
master
April 18, 2024 02:17 19m 40s
Do not normalize domains of arrows with HNF. Build and test FStar #3239: Pull request #3251 synchronize by gebner
April 18, 2024 00:25 13m 1s gabriel_dont_normalize_domain_hnf
gabriel_dont_normalize_domain_hnf
April 18, 2024 00:25 13m 1s
Do not normalize domains of arrows with HNF. Nix Build #306: Pull request #3251 synchronize by gebner
April 18, 2024 00:25 7m 36s gabriel_dont_normalize_domain_hnf
gabriel_dont_normalize_domain_hnf
April 18, 2024 00:25 7m 36s
Use close_binders function. Build and test FStar #3238: Commit 8da12eb pushed by gebner
April 18, 2024 00:25 13m 13s gabriel_dont_normalize_domain_hnf
gabriel_dont_normalize_domain_hnf
April 18, 2024 00:25 13m 13s
Making Reals erasable, and providing a reflection API for real literals Build and test FStar #3237: Pull request #3242 synchronize by mtzguido
April 17, 2024 23:42 9m 44s mtzguido:reals
mtzguido:reals
April 17, 2024 23:42 9m 44s