Skip to content

Actions: mtzguido/FStar

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
394 workflow runs
394 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update expected output CI #394: Commit b222e58 pushed by mtzguido
February 9, 2025 00:31 35m 48s nits
nits
February 9, 2025 00:31 35m 48s
rlimit CI #393: Commit 81c27f2 pushed by mtzguido
February 8, 2025 18:24 35m 19s postprocess
postprocess
February 8, 2025 18:24 35m 19s
Add tests CI #392: Commit 6d771b5 pushed by mtzguido
February 8, 2025 01:15 34m 40s postprocess
postprocess
February 8, 2025 01:15 34m 40s
ModifiesGen: work around a Z3 crash (in 4.13.3, works fine in Z3 master) CI #391: Commit 195827e pushed by mtzguido
February 7, 2025 22:47 35m 52s nits
nits
February 7, 2025 22:47 35m 52s
Tactics: introduce postprocess_type CI #390: Commit 02ede3d pushed by mtzguido
February 7, 2025 22:28 35m 16s postprocess
postprocess
February 7, 2025 22:28 35m 16s
test.mk: Make sure to be silent on error output tests CI #389: Commit 3706dce pushed by mtzguido
February 7, 2025 21:12 35m 17s fix
fix
February 7, 2025 21:12 35m 17s
Normalizer: making delta attributes compose CI #388: Commit cc06edb pushed by mtzguido
February 7, 2025 20:16 35m 25s delta_attr
delta_attr
February 7, 2025 20:16 35m 25s
Unifying treatment of tuple types, factoring out CI #387: Commit 424d305 pushed by mtzguido
February 7, 2025 18:35 36m 6s tuple_ref
tuple_ref
February 7, 2025 18:35 36m 6s
Makefile: update for new stage0 CI #386: Commit 0fb5b2f pushed by mtzguido
February 7, 2025 08:29 35m 1s release
release
February 7, 2025 08:29 35m 1s
Makefile: update for new stage0 CI #385: Commit bc7eb7d pushed by mtzguido
February 7, 2025 07:33 34m 40s release
release
February 7, 2025 07:33 34m 40s
Bump version number CI #384: Commit 79b12f9 pushed by mtzguido
February 7, 2025 07:15 35m 13s release
release
February 7, 2025 07:15 35m 13s
Tactics: make check_match_complete return issues, uniformly to others CI #383: Commit 8324b69 pushed by mtzguido
February 7, 2025 03:15 35m 29s errs
errs
February 7, 2025 03:15 35m 29s
Tactics: make check_match_complete return issues, uniformly to others CI #382: Commit 8043685 pushed by mtzguido
February 7, 2025 03:14 35m 20s errs
errs
February 7, 2025 03:14 35m 20s
Tc.Core: ignore equality qualifiers when comparing binders CI #381: Commit 5a18383 pushed by mtzguido
February 7, 2025 02:25 35m 23s errs
errs
February 7, 2025 02:25 35m 23s
Reduce verbosity CI #380: Commit 9dd08ac pushed by mtzguido
February 7, 2025 02:24 35m 36s build
build
February 7, 2025 02:24 35m 36s
Reduce verbosity CI #379: Commit 384f74b pushed by mtzguido
February 7, 2025 01:09 28m 33s build
build
February 7, 2025 01:09 28m 33s
typos CI #378: Commit c9e0263 pushed by mtzguido
February 7, 2025 00:08 29m 13s build
build
February 7, 2025 00:08 29m 13s
typos CI #377: Commit 389db51 pushed by mtzguido
February 6, 2025 23:08 30m 58s build
build
February 6, 2025 23:08 30m 58s
Errors: making sure to bound ranges CI #376: Commit 2cefc5a pushed by mtzguido
February 6, 2025 02:56 35m 42s errors
errors
February 6, 2025 02:56 35m 42s
SMT: introduce --ext fast_hints: only set produce-unsat-cores when re… CI #375: Commit 412bf9b pushed by mtzguido
February 5, 2025 23:47 35m 17s unsatcores
unsatcores
February 5, 2025 23:47 35m 17s
mk: no setting to OTHERFLAGS internally, so make OTHERFLAGS=... wor… CI #374: Commit 2ce5b4f pushed by mtzguido
February 5, 2025 22:48 37m 5s misc
misc
February 5, 2025 22:48 37m 5s
Range: reformat show instance, allows clicking in VScode to work CI #373: Commit e8c9ee7 pushed by mtzguido
February 5, 2025 20:16 35m 51s gpu
gpu
February 5, 2025 20:16 35m 51s
Update expected output and add new test CI #372: Commit 106e0f6 pushed by mtzguido
February 5, 2025 01:26 35m 23s quals
quals
February 5, 2025 01:26 35m 23s
Update expected output and add new test CI #371: Commit c9d3c4d pushed by mtzguido
February 5, 2025 01:13 34m 54s quals
quals
February 5, 2025 01:13 34m 54s
Tactics.Print: fix namedv_to_string CI #370: Commit bd23d78 pushed by mtzguido
February 4, 2025 22:08 35m 57s print
print
February 4, 2025 22:08 35m 57s