Skip to content

Actions: FStarLang/karamel

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
555 workflow runs
555 workflow runs

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
CI CI #559: Scheduled
36m 57s master
master
36m 57s
CI CI #558: Scheduled
39m 55s master
master
39m 55s
CI CI #557: Scheduled
39m 40s master
master
39m 40s
CI CI #556: Scheduled
40m 5s master
master
40m 5s
CI CI #555: Scheduled
38m 59s master
master
38m 59s
Merge pull request #730 from FStarLang/protz/edge-case-visibility CI #554: Commit 154d840 pushed by protz
47m 45s master
master
47m 45s
Fix an edge case in visibility analysis CI #553: Pull request #730 synchronize by protz
7m 47s protz/edge-case-visibility
protz/edge-case-visibility
7m 47s
Merge branch 'master' into protz/edge-case-visibility CI #552: Commit b63d85b pushed by protz
7m 48s protz/edge-case-visibility
protz/edge-case-visibility
7m 48s
Fix an edge case in visibility analysis CI #551: Pull request #730 opened by protz
24m 48s protz/edge-case-visibility
protz/edge-case-visibility
24m 48s
Fix an edge case in visibility analysis CI #550: Commit 6891692 pushed by protz
24m 21s protz/edge-case-visibility
protz/edge-case-visibility
24m 21s
Fix FStar_UInt128_lognot: MSVC SSE2 path always returns zero CI #549: Pull request #723 opened by nadimkobeissi
25m 7s nadimkobeissi:master
nadimkobeissi:master
25m 7s
Makefile: allow skipping krmllib build when LOWSTAR=false CI #548: Commit 772e4f6 pushed by mtzguido
27m 3s fstar2
fstar2
27m 3s
Merge pull request #701 from mtzguido/no_krml_home CI #547: Commit 515fd3b pushed by protz
23m 25s master
master
23m 25s
CI CI #546: Scheduled
39m 44s master
master
39m 44s
Remove need for KRML_HOME CI #545: Pull request #701 synchronize by mtzguido
34m 20s mtzguido:no_krml_home
mtzguido:no_krml_home
34m 20s
Merge pull request #722 from mtzguido/ci-cache-keys CI #544: Commit 27cf1f6 pushed by protz
34m 31s master
master
34m 31s
CI: Tweak cache keys CI #543: Pull request #722 opened by mtzguido
37m 34s mtzguido:ci-cache-keys
mtzguido:ci-cache-keys
37m 34s
Remove need for KRML_HOME CI #542: Pull request #701 synchronize by mtzguido
34m 12s mtzguido:no_krml_home
mtzguido:no_krml_home
34m 12s
Remove need for KRML_HOME CI #541: Pull request #701 synchronize by mtzguido
34m 45s mtzguido:no_krml_home
mtzguido:no_krml_home
34m 45s
Merge pull request #720 from FStarLang/protz/ci CI #540: Commit a110dd4 pushed by protz
36m 58s master
master
36m 58s
Remove need for KRML_HOME CI #539: Pull request #701 synchronize by mtzguido
38m 40s mtzguido:no_krml_home
mtzguido:no_krml_home
38m 40s
Add -fhoist-locals, -finitialize-locals CI #538: Pull request #721 opened by tahina-pro
46m 27s tahina-pro:_taramana_hoist_locals
tahina-pro:_taramana_hoist_locals
46m 27s
Add instructions for Eurydice CI CI #537: Pull request #720 synchronize by protz
24m 47s protz/ci
protz/ci
24m 47s
Merge branch 'master' into protz/ci CI #536: Commit bba06fe pushed by protz
24m 10s protz/ci
protz/ci
24m 10s
Merge pull request #718 from mtzguido/708 CI #535: Commit 48d4a49 pushed by protz
46m 3s master
master
46m 3s
⚡