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

Merge pull request #3250 from mtzguido/misc Build and test FStar #3221: Commit 4b44968 pushed by mtzguido
April 16, 2024 01:53 11m 37s master
master
April 16, 2024 01:53 11m 37s
Misc fixes Build and test FStar #3220: Pull request #3250 opened by mtzguido
April 16, 2024 01:43 9m 59s mtzguido:misc
mtzguido:misc
April 16, 2024 01:43 9m 59s
Misc fixes Nix Build #297: Pull request #3250 opened by mtzguido
April 16, 2024 01:43 16m 47s mtzguido:misc
mtzguido:misc
April 16, 2024 01:43 16m 47s
another explicit Refl destruction Build and test FStar #3219: Commit 13cb2d3 pushed by nikswamy
April 16, 2024 01:05 13m 28s nik_restrict_injectivity
nik_restrict_injectivity
April 16, 2024 01:05 13m 28s
need to explicitly destruct Refl Build and test FStar #3218: Commit df6fb0d pushed by nikswamy
April 16, 2024 00:48 12m 46s nik_restrict_injectivity
nik_restrict_injectivity
April 16, 2024 00:48 12m 46s
snap Build and test FStar #3217: Commit 773cdc3 pushed by nikswamy
April 16, 2024 00:02 3m 38s nik_restrict_injectivity
nik_restrict_injectivity
April 16, 2024 00:02 3m 38s
Making Reals erasable, and providing a reflection API for real literals Build and test FStar #3216: Pull request #3242 synchronize by mtzguido
April 15, 2024 20:27 9m 28s mtzguido:reals
mtzguido:reals
April 15, 2024 20:27 9m 28s
Making Reals erasable, and providing a reflection API for real literals Nix Build #296: Pull request #3242 synchronize by mtzguido
April 15, 2024 20:27 7m 46s mtzguido:reals
mtzguido:reals
April 15, 2024 20:27 7m 46s
Making Reals erasable, and providing a reflection API for real literals Build and test FStar #3215: Pull request #3242 synchronize by mtzguido
April 15, 2024 20:18 9m 46s mtzguido:reals
mtzguido:reals
April 15, 2024 20:18 9m 46s
Making Reals erasable, and providing a reflection API for real literals Nix Build #295: Pull request #3242 synchronize by mtzguido
April 15, 2024 20:18 7m 49s mtzguido:reals
mtzguido:reals
April 15, 2024 20:18 7m 49s
Making Reals erasable, and providing a reflection API for real literals Build and test FStar #3214: Pull request #3242 synchronize by mtzguido
April 15, 2024 17:56 10m 7s mtzguido:reals
mtzguido:reals
April 15, 2024 17:56 10m 7s
Making Reals erasable, and providing a reflection API for real literals Nix Build #294: Pull request #3242 synchronize by mtzguido
April 15, 2024 17:56 8m 12s mtzguido:reals
mtzguido:reals
April 15, 2024 17:56 8m 12s
Merge pull request #3244 from mtzguido/cantor Build and test FStar #3213: Commit de01633 pushed by mtzguido
April 15, 2024 16:31 11m 12s master
master
April 15, 2024 16:31 11m 12s
Add a proof that the cardinality of Type(u+1) is greater than Type(u) Build and test FStar #3212: Pull request #3244 synchronize by mtzguido
April 15, 2024 16:20 11m 3s mtzguido:cantor
mtzguido:cantor
April 15, 2024 16:20 11m 3s
Add a proof that the cardinality of Type(u+1) is greater than Type(u) Nix Build #293: Pull request #3244 synchronize by mtzguido
April 15, 2024 16:20 7m 54s mtzguido:cantor
mtzguido:cantor
April 15, 2024 16:20 7m 54s
Merge pull request #3241 from mtzguido/nobook Build and test FStar #3211: Commit 76f4550 pushed by mtzguido
April 15, 2024 16:13 11m 44s master
master
April 15, 2024 16:13 11m 44s
Removing F* book sources from F* repo Nix Build #292: Pull request #3241 synchronize by mtzguido
April 15, 2024 16:04 9m 9s mtzguido:nobook
mtzguido:nobook
April 15, 2024 16:04 9m 9s
Removing F* book sources from F* repo Build and test FStar #3210: Pull request #3241 synchronize by mtzguido
April 15, 2024 16:04 9m 31s mtzguido:nobook
mtzguido:nobook
April 15, 2024 16:04 9m 31s
Merge pull request #3248 from mtzguido/param Build and test FStar #3209: Commit cf82bc0 pushed by mtzguido
April 15, 2024 04:34 11m 12s master
master
April 15, 2024 04:34 11m 12s
FStar.Tactics.Parametricity: move parametricity translation to ulib, as a plugin Build and test FStar #3208: Pull request #3248 opened by mtzguido
April 15, 2024 04:24 9m 53s mtzguido:param
mtzguido:param
April 15, 2024 04:24 9m 53s
FStar.Tactics.Parametricity: move parametricity translation to ulib, as a plugin Nix Build #291: Pull request #3248 opened by mtzguido
April 15, 2024 04:24 17m 11s mtzguido:param
mtzguido:param
April 15, 2024 04:24 17m 11s
Rebuild base image Rebuild base image #341: Scheduled
April 15, 2024 04:04 19m 21s master
master
April 15, 2024 04:04 19m 21s
Merge pull request #3247 from mtzguido/norm_misc Build and test FStar #3207: Commit 3b6da9d pushed by mtzguido
April 15, 2024 01:04 10m 44s master
master
April 15, 2024 01:04 10m 44s
Some misc cleanup changes to the normalizer Build and test FStar #3206: Pull request #3247 opened by mtzguido
April 15, 2024 00:55 9m 28s mtzguido:norm_misc
mtzguido:norm_misc
April 15, 2024 00:55 9m 28s
Some misc cleanup changes to the normalizer Nix Build #290: Pull request #3247 opened by mtzguido
April 15, 2024 00:55 16m 52s mtzguido:norm_misc
mtzguido:norm_misc
April 15, 2024 00:55 16m 52s