Skip to content

Actions: FStarLang/FStar

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
2,541 workflow runs
2,541 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Rebuild base image Rebuild base image #361: Scheduled
May 5, 2024 02:22 20m 25s master
master
May 5, 2024 02:22 20m 25s
Rebuild base image Rebuild base image #360: Scheduled
May 4, 2024 02:17 20m 23s master
master
May 4, 2024 02:17 20m 23s
snap Build and test FStar #3364: Commit bb9e55a pushed by mtzguido
May 4, 2024 01:37 11m 27s master
master
May 4, 2024 01:37 11m 27s
snap Build and test FStar #3363: Commit bb9e55a pushed by mtzguido
May 4, 2024 01:17 11m 30s guido_misc
guido_misc
May 4, 2024 01:17 11m 30s
SizeT: make SizeT.t a new type Nix Build #365: Pull request #3285 opened by mtzguido
May 3, 2024 20:18 17m 47s mtzguido:sizet
mtzguido:sizet
May 3, 2024 20:18 17m 47s
SizeT: make SizeT.t a new type Build and test FStar #3362: Pull request #3285 opened by mtzguido
May 3, 2024 20:18 10m 10s mtzguido:sizet
mtzguido:sizet
May 3, 2024 20:18 10m 10s
Merge pull request #3284 from mtzguido/fix Build and test FStar #3361: Commit 66e947d pushed by mtzguido
May 3, 2024 15:44 11m 17s master
master
May 3, 2024 15:44 11m 17s
Fix #3266 Nix Build #364: Pull request #3284 opened by mtzguido
May 3, 2024 15:34 17m 55s mtzguido:fix
mtzguido:fix
May 3, 2024 15:34 17m 55s
Fix #3266 Build and test FStar #3360: Pull request #3284 opened by mtzguido
May 3, 2024 15:34 10m 6s mtzguido:fix
mtzguido:fix
May 3, 2024 15:34 10m 6s
Merge pull request #3283 from mtzguido/misc Build and test FStar #3359: Commit b410b9f pushed by mtzguido
May 3, 2024 07:25 11m 30s master
master
May 3, 2024 07:25 11m 30s
Misc Nix Build #363: Pull request #3283 opened by mtzguido
May 3, 2024 06:54 17m 34s mtzguido:misc
mtzguido:misc
May 3, 2024 06:54 17m 34s
Misc Build and test FStar #3358: Pull request #3283 opened by mtzguido
May 3, 2024 06:54 10m 17s mtzguido:misc
mtzguido:misc
May 3, 2024 06:54 10m 17s
Rebuild base image Rebuild base image #359: Scheduled
May 3, 2024 02:21 20m 15s master
master
May 3, 2024 02:21 20m 15s
Rebuild base image Rebuild base image #358: Scheduled
May 2, 2024 02:19 19m 59s master
master
May 2, 2024 02:19 19m 59s
Merge pull request #3253 from FStarLang/nik_restrict_injectivity Build and test FStar #3357: Commit b332ac1 pushed by nikswamy
May 1, 2024 03:30 11m 26s master
master
May 1, 2024 03:30 11m 26s
Injectivity of inductive types revisited Nix Build #362: Pull request #3253 synchronize by mtzguido
May 1, 2024 03:04 7m 56s nik_restrict_injectivity
nik_restrict_injectivity
May 1, 2024 03:04 7m 56s
Injectivity of inductive types revisited Build and test FStar #3356: Pull request #3253 synchronize by mtzguido
May 1, 2024 03:04 26m 16s nik_restrict_injectivity
nik_restrict_injectivity
May 1, 2024 03:04 26m 16s
Fix test Build and test FStar #3355: Commit 3849844 pushed by mtzguido
May 1, 2024 03:04 25m 54s nik_restrict_injectivity
nik_restrict_injectivity
May 1, 2024 03:04 25m 54s
Injectivity of inductive types revisited Build and test FStar #3354: Pull request #3253 synchronize by nikswamy
May 1, 2024 03:00 16m 0s nik_restrict_injectivity
nik_restrict_injectivity
May 1, 2024 03:00 16m 0s
Injectivity of inductive types revisited Nix Build #361: Pull request #3253 synchronize by nikswamy
May 1, 2024 03:00 8m 15s nik_restrict_injectivity
nik_restrict_injectivity
May 1, 2024 03:00 8m 15s
merge master Build and test FStar #3353: Commit 3b730a9 pushed by nikswamy
May 1, 2024 03:00 16m 15s nik_restrict_injectivity
nik_restrict_injectivity
May 1, 2024 03:00 16m 15s
Rebuild base image Rebuild base image #357: Scheduled
May 1, 2024 02:24 19m 42s master
master
May 1, 2024 02:24 19m 42s
Merge pull request #3281 from mtzguido/repr_tac Build and test FStar #3352: Commit 0996e78 pushed by mtzguido
May 1, 2024 02:04 12m 8s master
master
May 1, 2024 02:04 12m 8s
Tactics.TypeRepr: add a tactic to translate inductives to a sums of products Build and test FStar #3351: Pull request #3281 opened by mtzguido
May 1, 2024 01:54 10m 19s mtzguido:repr_tac
mtzguido:repr_tac
May 1, 2024 01:54 10m 19s
Tactics.TypeRepr: add a tactic to translate inductives to a sums of products Nix Build #360: Pull request #3281 opened by mtzguido
May 1, 2024 01:54 17m 6s mtzguido:repr_tac
mtzguido:repr_tac
May 1, 2024 01:54 17m 6s