Skip to content

Actions: FStarLang/FStar

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
929 workflow runs
929 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Experiment: Pass tactic proof state using references. CI #930: Pull request #3999 synchronize by gebner
September 12, 2025 01:46 40m 22s gebner_reftactic
gebner_reftactic
September 12, 2025 01:46 40m 22s
Fix test. CI #929: Commit ea03495 pushed by gebner
September 12, 2025 01:46 41m 29s gebner_reftactic
gebner_reftactic
September 12, 2025 01:46 41m 29s
Experiment: Pass tactic proof state using references. CI #928: Pull request #3999 synchronize by gebner
September 11, 2025 16:20 42m 0s gebner_reftactic
gebner_reftactic
September 11, 2025 16:20 42m 0s
Eliminate useless lets in plugin code. CI #927: Commit 8d2724a pushed by gebner
September 11, 2025 16:20 41m 9s gebner_reftactic
gebner_reftactic
September 11, 2025 16:20 41m 9s
Experiment: Pass tactic proof state using references. CI #926: Pull request #3999 synchronize by gebner
September 11, 2025 15:41 40m 23s gebner_reftactic
gebner_reftactic
September 11, 2025 15:41 40m 23s
Fix tests. CI #925: Commit f1bf278 pushed by gebner
September 11, 2025 15:41 40m 22s gebner_reftactic
gebner_reftactic
September 11, 2025 15:41 40m 22s
Experiment: Pass tactic proof state using references. CI #924: Pull request #3999 synchronize by gebner
September 11, 2025 05:50 41m 22s gebner_reftactic
gebner_reftactic
September 11, 2025 05:50 41m 22s
Extraction: sink applications into lets. CI #923: Commit d41589f pushed by gebner
September 11, 2025 05:50 41m 29s gebner_reftactic
gebner_reftactic
September 11, 2025 05:50 41m 29s
Experiment: Pass tactic proof state using references. CI #922: Pull request #3999 opened by gebner
September 11, 2025 03:05 40m 39s gebner_reftactic
gebner_reftactic
September 11, 2025 03:05 40m 39s
Pass proof state using references. CI #921: Commit f5539ec pushed by gebner
September 11, 2025 02:57 40m 46s gebner_reftactic
gebner_reftactic
September 11, 2025 02:57 40m 46s
Merge pull request #3998 from FStarLang/_taramana_cp_t CI #920: Commit 845f7e0 pushed by mtzguido
September 9, 2025 22:06 40m 54s master
master
September 9, 2025 22:06 40m 54s
source packages: do not use GNU-specific cp -T CI #919: Pull request #3998 synchronize by mtzguido
September 9, 2025 21:14 40m 53s _taramana_cp_t
_taramana_cp_t
September 9, 2025 21:14 40m 53s
source packages: do not use GNU-specific cp -T CI #918: Pull request #3998 opened by tahina-pro
September 9, 2025 20:10 41m 24s _taramana_cp_t
_taramana_cp_t
September 9, 2025 20:10 41m 24s
Merge pull request #3997 from mtzguido/fix CI #917: Commit bb4c926 pushed by mtzguido
September 8, 2025 23:55 41m 18s master
master
September 8, 2025 23:55 41m 18s
Fix bad error CI #916: Pull request #3997 opened by mtzguido
September 8, 2025 23:14 41m 4s mtzguido:fix
mtzguido:fix
September 8, 2025 23:14 41m 4s
Experiment: Implement tactics using exceptions and inline bind. CI #915: Pull request #3996 opened by gebner
September 6, 2025 01:12 41m 32s gebner_exntactic
gebner_exntactic
September 6, 2025 01:12 41m 32s
Update flaky tests. CI #914: Commit 8aa2e76 pushed by gebner
September 6, 2025 01:05 41m 14s gebner_exntactic
gebner_exntactic
September 6, 2025 01:05 41m 14s
Update flaky tests. CI #913: Commit 3fa6298 pushed by gebner
September 6, 2025 00:46 40m 23s gebner_exntactic
gebner_exntactic
September 6, 2025 00:46 40m 23s
Tweak proof CI #912: Commit 391607d pushed by mtzguido
September 5, 2025 16:40 41m 22s master
master
September 5, 2025 16:40 41m 22s
Tweak proof CI #911: Commit 391607d pushed by mtzguido
September 5, 2025 15:32 41m 5s release
release
September 5, 2025 15:32 41m 5s
Tweak rlimit CI #910: Commit c2628b5 pushed by mtzguido
September 5, 2025 01:01 22m 12s release
release
September 5, 2025 01:01 22m 12s
Bump version CI #909: Commit 3bb7a3c pushed by mtzguido
September 4, 2025 23:18 40m 33s release
release
September 4, 2025 23:18 40m 33s
Tweaking imprecise encoding of inner let recs CI #908: Pull request #3995 opened by mtzguido
September 2, 2025 00:08 42m 22s mtzguido:inner_let_rec
mtzguido:inner_let_rec
September 2, 2025 00:08 42m 22s
Merge pull request #3994 from mtzguido/allow_ignore_nonexistent_include CI #907: Commit afa6507 pushed by mtzguido
August 31, 2025 22:29 41m 12s master
master
August 31, 2025 22:29 41m 12s
Options: allow to ignore warning for non-existing include CI #906: Pull request #3994 opened by mtzguido
August 31, 2025 19:35 40m 47s mtzguido:allow_ignore_nonexistent_include
mtzguido:allow_ignore_nonexistent_include
August 31, 2025 19:35 40m 47s