Skip to content

Actions: mtzguido/FStar

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
421 workflow runs
421 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

snap Build and test FStar #523: Commit 298994b pushed by mtzguido
September 10, 2024 00:59 1d 12h 15m 40s gpu
gpu
September 10, 2024 00:59 1d 12h 15m 40s
Merge pull request #3455 from mtzguido/extractionfix Build and test FStar #522: Commit ef93b7d pushed by mtzguido
September 10, 2024 00:43 1d 12h 31m 41s gpu
gpu
September 10, 2024 00:43 1d 12h 31m 41s
Extraction.Krml: properly detect mem type, it does not have an argument Build and test FStar #521: Commit d1d8633 pushed by mtzguido
September 10, 2024 00:06 1d 13h 9m 7s gpu
gpu
September 10, 2024 00:06 1d 13h 9m 7s
Extraction.Krml: properly detect mem type, it does not have an argument Build and test FStar #520: Commit d1d8633 pushed by mtzguido
September 9, 2024 23:57 1d 13h 18m 19s extractionfix
extractionfix
September 9, 2024 23:57 1d 13h 18m 19s
Revert "src: use fstar.include" Build and test FStar #519: Commit 7ecca72 pushed by mtzguido
September 9, 2024 15:45 1d 0h 7m 6s tac_uvar_subtyping_fix
tac_uvar_subtyping_fix
September 9, 2024 15:45 1d 0h 7m 6s
Update expected output Build and test FStar #518: Commit 51c4216 pushed by mtzguido
September 9, 2024 14:48 1d 1h 3m 30s tac_uvar_subtyping_fix
tac_uvar_subtyping_fix
September 9, 2024 14:48 1d 1h 3m 30s
src: use fstar.include Build and test FStar #517: Commit e75d320 pushed by mtzguido
September 9, 2024 03:01 1d 10h 13m 31s include
include
September 9, 2024 03:01 1d 10h 13m 31s
snap Build and test FStar #516: Commit 9924dc1 pushed by mtzguido
September 8, 2024 21:42 1d 15h 32m 29s errors
errors
September 8, 2024 21:42 1d 15h 32m 29s
ulib: move hints to separate directory Build and test FStar #515: Commit ef5d66d pushed by mtzguido
September 8, 2024 19:49 1d 17h 26m 7s move_hints
move_hints
September 8, 2024 19:49 1d 17h 26m 7s
snap Build and test FStar #514: Commit c8d350a pushed by mtzguido
September 8, 2024 19:11 1d 18h 3m 42s misc
misc
September 8, 2024 19:11 1d 18h 3m 42s
library nits Build and test FStar #513: Commit 9908226 pushed by mtzguido
September 8, 2024 19:11 1d 18h 3m 55s misc
misc
September 8, 2024 19:11 1d 18h 3m 55s
snap Build and test FStar #512: Commit f2ef620 pushed by mtzguido
September 6, 2024 17:53 2d 1h 18m 21s gpu
gpu
September 6, 2024 17:53 2d 1h 18m 21s
tactics: update some tests Build and test FStar #511: Commit 6ac6563 pushed by mtzguido
September 5, 2024 19:59 1d 17h 15m 45s tac_uvar_subtyping_fix
tac_uvar_subtyping_fix
September 5, 2024 19:59 1d 17h 15m 45s
snap Build and test FStar #510: Commit 89f9bbc pushed by mtzguido
September 5, 2024 15:27 1d 0h 25m 26s fstar_include
fstar_include
September 5, 2024 15:27 1d 0h 25m 26s
Revert "src: Use fstar.include for bootstrapping" Build and test FStar #509: Commit 08c7e03 pushed by mtzguido
September 5, 2024 08:50 1d 4h 24m 54s fstar_include
fstar_include
September 5, 2024 08:50 1d 4h 24m 54s
snap Build and test FStar #508: Commit 905ade1 pushed by mtzguido
September 5, 2024 07:57 1d 5h 17m 55s ide
ide
September 5, 2024 07:57 1d 5h 17m 55s
Parser.ParseIt: make sure to not affect the gensym needlessly Build and test FStar #507: Commit c1f3460 pushed by mtzguido
September 5, 2024 06:58 1d 6h 16m 44s ide
ide
September 5, 2024 06:58 1d 6h 16m 44s
snap Build and test FStar #506: Commit 9e3acfd pushed by mtzguido
September 5, 2024 06:56 1d 6h 19m 8s patuniv
patuniv
September 5, 2024 06:56 1d 6h 19m 8s
check-world: merkle-tree does not need everparse Build and test FStar #505: Commit f299629 pushed by mtzguido
September 5, 2024 06:47 48s checkworld
checkworld
September 5, 2024 06:47 48s
bad PR Comment hook for PRs #6: Issue comment #11 (comment) created by mtzguido
September 5, 2024 06:06 57s
September 5, 2024 06:06 57s
bad PR Nix Build #2: Pull request #11 synchronize by mtzguido
September 5, 2024 06:06 9s prtest
prtest
September 5, 2024 06:06 9s
bad PR Comment hook for PRs #5: Issue comment #11 (comment) created by mtzguido
September 5, 2024 05:45 5m 28s
September 5, 2024 05:45 5m 28s
bad PR Comment hook for PRs #4: Issue comment #11 (comment) created by mtzguido
September 5, 2024 05:44 1m 5s
September 5, 2024 05:44 1m 5s
bad PR Nix Build #1: Pull request #11 opened by mtzguido
September 5, 2024 05:43 17s prtest
prtest
September 5, 2024 05:43 17s
snap Build and test FStar #504: Commit 35c8279 pushed by mtzguido
September 5, 2024 05:21 21m 57s patuniv
patuniv
September 5, 2024 05:21 21m 57s