Skip to content

Actions: FStarLang/FStar

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,633 workflow runs
2,633 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Check world (test F* + all subprojects) Check world (test F* + all subprojects) #507: Scheduled
3h 1m 46s master
master
3h 1m 46s
F* nightly build F* nightly build #409: Scheduled
24m 0s master
master
24m 0s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #506: Scheduled
2h 59m 39s master
master
2h 59m 39s
F* nightly build F* nightly build #408: Scheduled
21m 10s master
master
21m 10s
Opus 4.6 fixes or suppresses a bunch of warnings CI #1336: Pull request #4098 opened by nikswamy
32m 51s _nik_warnings
_nik_warnings
32m 51s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #505: Scheduled
3h 7m 58s master
master
3h 7m 58s
F* nightly build F* nightly build #407: Scheduled
33m 47s master
master
33m 47s
Merge pull request #4096 from FStarLang/_nik_agent_instructions CI #1335: Commit 78cce2a pushed by nikswamy
34m 10s master
master
34m 10s
update pulse instructions CI #1334: Pull request #4096 synchronize by nikswamy
34m 19s _nik_agent_instructions
_nik_agent_instructions
34m 19s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #504: Scheduled
2h 59m 57s master
master
2h 59m 57s
Merge pull request #4097 from FStarLang/gebner_rm_debug_any CI #1333: Commit 715a692 pushed by gebner
33m 53s master
master
33m 53s
F* nightly build F* nightly build #406: Scheduled
18m 56s master
master
18m 56s
Remove a lot of Debug.any CI #1332: Pull request #4097 opened by gebner
33m 53s gebner_rm_debug_any
gebner_rm_debug_any
33m 53s
Remove a lot of Debug.any CI #1331: Commit e6be6fe pushed by gebner
34m 33s gebner_rm_debug_any
gebner_rm_debug_any
34m 33s
update pulse instructions CI #1330: Pull request #4096 opened by nikswamy
35m 30s _nik_agent_instructions
_nik_agent_instructions
35m 30s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #503: Scheduled
3h 7m 20s master
master
3h 7m 20s
F* nightly build F* nightly build #405: Scheduled
41m 58s master
master
41m 58s
fix: Use 'dune build @install' for stage0 to generate install files CI #1329: Commit 8061655 pushed by elefthei
2m 30s fix/windows-misc
fix/windows-misc
2m 30s
fix: Uncomment fstarc.dune.inc generation rule CI #1328: Commit 17d5848 pushed by elefthei
2m 34s fix/windows-misc
fix/windows-misc
2m 34s
fix: Add proper Makefile dependencies for parallel-safe builds CI #1327: Commit 327b618 pushed by elefthei
2m 31s fix/windows-misc
fix/windows-misc
2m 31s
fix(ci): Clean stale dune lock files before build CI #1326: Commit 009b689 pushed by elefthei
2m 24s fix/windows-misc
fix/windows-misc
2m 24s
ci(windows): Update OCaml to 5.3.0 CI #1325: Commit e547586 pushed by elefthei
9m 44s fix/windows-misc
fix/windows-misc
9m 44s
ci: Temporarily disable non-Windows builds for faster iteration CI #1324: Commit 625796b pushed by elefthei
4m 45s fix/windows-misc
fix/windows-misc
4m 45s
fix(nix): Update to OCaml 5.4 CI #1323: Commit 0f085fb pushed by elefthei
6h 5m 11s fix/windows-misc
fix/windows-misc
6h 5m 11s
fix(ci): Use MSYS2 instead of Cygwin to bypass mirror issues CI #1322: Commit e9f4399 pushed by elefthei
14m 38s fix/windows-misc
fix/windows-misc
14m 38s