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 #113: Scheduled
32m 35s master
master
32m 35s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #684: Scheduled
1h 14m 33s master
master
1h 14m 33s
F* nightly build F* nightly build #115: Manually run by github-actions Bot
39m 16s master
master
39m 16s
Nightly schedule Nightly schedule #114: Scheduled
10s master
master
10s
Nightly CI Nightly CI #112: Scheduled
42m 35s master
master
42m 35s
Simplify handling of branch conditions in Pulse.Checker.If and Checker.Match CI #2295: Pull request #4372 opened by nikswamy
1h 1m 56s nswamy/pulse-if-no-rename
nswamy/pulse-if-no-rename
1h 1m 56s
Merge remote-tracking branch 'origin/master' into nswamy/pulse-if-no-… CI #2294: Commit 90f8642 pushed by nikswamy
1h 1m 52s nswamy/pulse-if-no-rename
nswamy/pulse-if-no-rename
1h 1m 52s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #683: Scheduled
1h 15m 29s master
master
1h 15m 29s
F* nightly build F* nightly build #114: Manually run by github-actions Bot
41m 47s master
master
41m 47s
Nightly schedule Nightly schedule #113: Scheduled
10s master
master
10s
Create F* release and publish Create F* release and publish #97: Manually run by github-actions Bot
1h 0m 36s master
master
1h 0m 36s
Bump version to 2026.07.24 (#4371) CI #2293: Commit 60f60c0 pushed by dzomo
1h 0m 38s master
master
1h 0m 38s
Bump version to 2026.07.24 CI #2292: Pull request #4371 opened by dzomo
1h 3m 0s auto/bump-v2026.07.24
auto/bump-v2026.07.24
1h 3m 0s
Weekly release Weekly release #13: Manually run by mtzguido
1h 4m 24s master
master
1h 4m 24s
Align ulib and compiler term types CI #2291: Pull request #4370 synchronize by gebner
1h 0m 31s gebner_term_spec
gebner_term_spec
1h 0m 31s
Add FStar.Reflection.TermSpec to OpenScopeError expected namespaces CI #2290: Commit 1e31e4f pushed by gebner
1h 1m 0s gebner_term_spec
gebner_term_spec
1h 1m 0s
Align ulib and compiler term types CI #2289: Pull request #4370 opened by gebner
1h 3m 39s gebner_term_spec
gebner_term_spec
1h 3m 39s
Fix remaining term_spec migration debt in tests CI #2288: Commit 7c49cea pushed by gebner
1h 1m 46s gebner_term_spec
gebner_term_spec
1h 1m 46s
Nightly CI Nightly CI #111: Scheduled
40m 46s master
master
40m 46s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #682: Scheduled
1h 1m 10s master
master
1h 1m 10s
F* nightly build F* nightly build #113: Manually run by github-actions Bot
34m 41s master
master
34m 41s
Nightly schedule Nightly schedule #112: Scheduled
13s master
master
13s
Build F* (Windows) Build F* (Windows) #37: Manually run by tahina-pro
10m 42s master
master
10m 42s
Unseal the Pulse checker's internal range CI #2287: Commit 67f9e39 pushed by gebner
36m 26s gebner_term_spec
gebner_term_spec
36m 26s
Nightly CI Nightly CI #110: Scheduled
41m 15s master
master
41m 15s