Skip to content

Actions: FStarLang/FStar

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Nightly CI Nightly CI #170: Scheduled
In progress master
master
In progress
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #741: Scheduled
58m 46s master
master
58m 46s
F* nightly build F* nightly build #171: Manually run by github-actions Bot
56m 47s master
master
56m 47s
Nightly schedule Nightly schedule #170: Scheduled
7s master
master
7s
Simplify effects further CI #3237: Pull request #4515 synchronize by nikswamy
54m 58s _revise_primitive_effects
_revise_primitive_effects
54m 58s
Change book's LaTeX engine to XeLaTex CI #3236: Pull request #4413 synchronize by smheidrich
44m 35s smheidrich:xelatex-for-book
smheidrich:xelatex-for-book
44m 35s
Mention Unicode forms of syntax elements in book CI #3235: Pull request #4412 synchronize by smheidrich
1h 1m 13s smheidrich:gh-4411-mention-unicode-alternatives-in-book
smheidrich:gh-4411-mention-unicode-alternatives-in-book
1h 1m 13s
Nightly CI Nightly CI #169: Scheduled
32m 45s master
master
32m 45s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #740: Scheduled
1h 3m 46s master
master
1h 3m 46s
Merge pull request #4553 from FStarLang/gebner_custard_letpatfold CI #3234: Commit 5603331 pushed by github-merge-queue Bot
46m 35s master
master
46m 35s
F* nightly build F* nightly build #170: Manually run by github-actions Bot
55m 54s master
master
55m 54s
Nightly schedule Nightly schedule #169: Scheduled
7s master
master
7s
CI CI #3233: Merge group checks requested
1h 0m 19s
1h 0m 19s
Merge pull request #4553 from FStarLang/gebner_custard_letpatfold CI #3232: Commit 5603331 pushed by github-merge-queue Bot
1h 0m 40s gh-readonly-queue/master/pr-4553-79f6d73d4fde8de53905adec1192cc80898b1d89
gh-readonly-queue/master/pr-4553-79f6d73d4fde8de53905adec1192cc80898b1d89
1h 0m 40s
Custard: fold projections of a let-bound constructor CI #3231: Pull request #4553 synchronize by gebner
59m 28s gebner_custard_letpatfold
gebner_custard_letpatfold
59m 28s
Custard: fold projections of a let-bound constructor CI #3230: Commit b9cadbb pushed by gebner
1h 0m 45s gebner_custard_letpatfold
gebner_custard_letpatfold
1h 0m 45s
Simplify effects further CI #3229: Pull request #4515 synchronize by nikswamy
36m 50s _revise_primitive_effects
_revise_primitive_effects
36m 50s
Merge pull request #4551 from FStarLang/gebner_custard_thunk CI #3228: Commit 79f6d73 pushed by github-merge-queue Bot
42m 24s master
master
42m 24s
Merge pull request #4552 from tahina-pro/_fstar2_rename_let CI #3227: Commit a1427a7 pushed by github-merge-queue Bot
1h 0m 29s master
master
1h 0m 29s
Merge pull request #4551 from FStarLang/gebner_custard_thunk CI #3226: Commit 79f6d73 pushed by github-merge-queue Bot
59m 16s gh-readonly-queue/master/pr-4551-a1427a7be075ac71d6195f8993656d65f13b77d0
gh-readonly-queue/master/pr-4551-a1427a7be075ac71d6195f8993656d65f13b77d0
59m 16s
CI CI #3225: Merge group checks requested
38m 21s
38m 21s
Fix F# extraction indentation for begin/end blocks Rebase PR #515: Issue comment #4540 (comment) created by gebner
1s
1s
Fix F# extraction indentation for begin/end blocks Benchmark Comparison #515: Issue comment #4540 (comment) created by gebner
2s
2s
Custard: fold projections of a let-bound constructor CI #3224: Pull request #4553 synchronize by gebner
46m 1s gebner_custard_letpatfold
gebner_custard_letpatfold
46m 1s
Custard: fold projections of a let-bound constructor CI #3223: Commit c01be8c pushed by gebner
59m 1s gebner_custard_letpatfold
gebner_custard_letpatfold
59m 1s