Skip to content

Actions: matthiaskrgr/icemaker

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
143 workflow runs
143 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
ice++ Build #363: Commit 6cdec26 pushed by matthiaskrgr
February 24, 2024 15:06 59s master
master
February 24, 2024 15:06 59s
ice++ Build #362: Commit c46d6a3 pushed by matthiaskrgr
February 22, 2024 20:52 48s master
master
February 22, 2024 20:52 48s
ice++ Build #361: Commit 5d47410 pushed by matthiaskrgr
February 22, 2024 13:17 52s master
master
February 22, 2024 13:17 52s
ice++, flags Build #360: Commit ead9813 pushed by matthiaskrgr
February 12, 2024 17:19 50s master
master
February 12, 2024 17:19 50s
update flags Build #358: Commit 06207a5 pushed by matthiaskrgr
February 7, 2024 18:41 50s master
master
February 7, 2024 18:41 50s
fix flags Build #357: Commit d0bd02e pushed by matthiaskrgr
January 31, 2024 18:34 51s master
master
January 31, 2024 18:34 51s
reorder some flags Build #356: Commit 5db5b8b pushed by matthiaskrgr
January 29, 2024 18:08 52s master
master
January 29, 2024 18:08 52s
update codegen from git by ignoring files that already exist on disk Build #355: Commit f3a50c7 pushed by matthiaskrgr
January 29, 2024 17:56 53s master
master
January 29, 2024 17:56 53s
fix clippy Build #354: Commit aa0fb2c pushed by matthiaskrgr
January 25, 2024 22:43 49s master
master
January 25, 2024 22:43 49s
fix main detection Build #353: Commit b3ef08d pushed by matthiaskrgr
January 25, 2024 22:22 51s master
master
January 25, 2024 22:22 51s
EXPERIMENTAL check ALL features by default Build #352: Commit 93ac4ed pushed by matthiaskrgr
January 20, 2024 09:11 50s master
master
January 20, 2024 09:11 50s
test with ALL THE FLAGS Build #351: Commit 8267021 pushed by matthiaskrgr
January 15, 2024 23:11 47s master
master
January 15, 2024 23:11 47s
fn_delegation + ices Build #350: Commit 5e2372a pushed by matthiaskrgr
January 13, 2024 09:08 58s master
master
January 13, 2024 09:08 58s
also dont rurn miri with expensive Build #349: Commit 0637b54 pushed by matthiaskrgr
January 12, 2024 20:01 52s master
master
January 12, 2024 20:01 52s
dont run legacy cranelift on local debug assertions Build #348: Commit f45056f pushed by matthiaskrgr
January 12, 2024 19:47 47s master
master
January 12, 2024 19:47 47s
fix paths, the proper way Build #347: Commit 711d2dc pushed by matthiaskrgr
January 12, 2024 19:41 49s master
master
January 12, 2024 19:41 49s
fix paths to local debug assertions toolchain Build #346: Commit adba944 pushed by matthiaskrgr
January 12, 2024 19:21 53s master
master
January 12, 2024 19:21 53s
fix rustc Build #345: Commit 06d9c92 pushed by matthiaskrgr
January 7, 2024 14:40 49s master
master
January 7, 2024 14:40 49s
more RA tweaks Build #344: Commit eed819a pushed by matthiaskrgr
January 6, 2024 18:57 51s master
master
January 6, 2024 18:57 51s
remove -Zthir-unsafeck=yes Build #343: Commit 22cd5fe pushed by matthiaskrgr
January 5, 2024 16:09 55s master
master
January 5, 2024 16:09 55s
ice++ Build #342: Commit 2fc2da8 pushed by matthiaskrgr
January 1, 2024 14:15 48s master
master
January 1, 2024 14:15 48s
change some flags around Build #341: Commit d741916 pushed by matthiaskrgr
December 30, 2023 09:21 48s master
master
December 30, 2023 09:21 48s
ice++ Build #340: Commit 6d0aa5c pushed by matthiaskrgr
December 28, 2023 14:31 46s master
master
December 28, 2023 14:31 46s
-Zverbose Build #339: Commit f60bf55 pushed by matthiaskrgr
December 26, 2023 23:30 1m 1s master
master
December 26, 2023 23:30 1m 1s
Zverbose Build #338: Commit f1d2278 pushed by matthiaskrgr
December 26, 2023 23:28 52s master
master
December 26, 2023 23:28 52s