Skip to content

Actions: flux-rs/flux

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,300 workflow runs
1,300 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Interactive mode ci #1209: Pull request #914 synchronize by ranjitjhala
December 3, 2024 18:34 2m 47s trace
trace
December 3, 2024 18:34 2m 47s
Interactive mode ci #1208: Pull request #914 synchronize by ranjitjhala
December 3, 2024 18:31 2m 36s trace
trace
December 3, 2024 18:31 2m 36s
Interactive mode ci #1207: Pull request #914 synchronize by ranjitjhala
December 3, 2024 01:21 13m 2s trace
trace
December 3, 2024 01:21 13m 2s
Interactive mode ci #1206: Pull request #914 synchronize by ranjitjhala
December 3, 2024 01:19 12m 43s trace
trace
December 3, 2024 01:19 12m 43s
Interactive mode ci #1205: Pull request #914 opened by ranjitjhala
December 3, 2024 01:15 12m 57s trace
trace
December 3, 2024 01:15 12m 57s
More cleanup ci #1204: Commit ece5b85 pushed by nilehmann
November 28, 2024 08:08 3m 1s main
main
November 28, 2024 08:08 3m 1s
Fix docs ci #1203: Commit f3d79e7 pushed by nilehmann
November 28, 2024 05:53 2m 38s main
main
November 28, 2024 05:53 2m 38s
Update toolchain (#913) ci #1202: Commit 94e25b8 pushed by nilehmann
November 28, 2024 05:29 3m 24s main
main
November 28, 2024 05:29 3m 24s
Update toolchain ci #1201: Pull request #913 opened by nilehmann
November 28, 2024 05:25 3m 33s nico/update-toolchain
nico/update-toolchain
November 28, 2024 05:25 3m 33s
Ignore drop on &mut references (#906) ci #1200: Commit 2cf8d06 pushed by ranjitjhala
November 27, 2024 18:49 2m 47s main
main
November 27, 2024 18:49 2m 47s
Some cleanup (#912) ci #1199: Commit c4841c3 pushed by nilehmann
November 27, 2024 18:45 2m 42s main
main
November 27, 2024 18:45 2m 42s
Some cleanup ci #1198: Pull request #912 opened by nilehmann
November 27, 2024 18:30 12m 25s nico/cleanup
nico/cleanup
November 27, 2024 18:30 12m 25s
Ignore drop on &mut references ci #1197: Pull request #906 synchronize by ranjitjhala
November 27, 2024 18:30 12m 38s issue-431
issue-431
November 27, 2024 18:30 12m 38s
Make checker trace more JSON-ish (#911) ci #1196: Commit c9145d7 pushed by ranjitjhala
November 27, 2024 18:27 12m 41s main
main
November 27, 2024 18:27 12m 41s
Make checker trace more JSON-ish ci #1195: Pull request #911 synchronize by ranjitjhala
November 27, 2024 15:48 3m 1s trace
trace
November 27, 2024 15:48 3m 1s
Make checker trace more JSON-ish ci #1194: Pull request #911 opened by ranjitjhala
November 27, 2024 04:54 3m 0s trace
trace
November 27, 2024 04:54 3m 0s
Fix fixpoint formatting ci #1193: Commit 714e960 pushed by nilehmann
November 27, 2024 04:06 3m 5s main
main
November 27, 2024 04:06 3m 5s
Reduce if expressions when the condition is known to be true or false ci #1192: Commit e876296 pushed by nilehmann
November 26, 2024 23:21 2m 43s main
main
November 26, 2024 23:21 2m 43s
Avoid generating 1-tuples in fixpoint encoding ci #1191: Commit c7d3f46 pushed by nilehmann
November 26, 2024 23:02 2m 36s main
main
November 26, 2024 23:02 2m 36s
Refactor formatting of fixpoint constraints ci #1190: Commit c5a037f pushed by nilehmann
November 26, 2024 22:25 3m 4s main
main
November 26, 2024 22:25 3m 4s
temp (#910) ci #1189: Commit 3e3a2bf pushed by ranjitjhala
November 26, 2024 18:10 2m 49s main
main
November 26, 2024 18:10 2m 49s
Modify checker trace to include statement span ci #1188: Pull request #910 opened by ranjitjhala
November 26, 2024 18:04 2m 53s trace
trace
November 26, 2024 18:04 2m 53s
Refactor sort checking to deal with synthesis for constructors (#902) ci #1187: Commit 4d49970 pushed by vrindisbacher
November 26, 2024 00:15 2m 54s main
main
November 26, 2024 00:15 2m 54s
Refactor sort checking to deal with synthesis for constructors ci #1186: Pull request #902 synchronize by vrindisbacher
November 25, 2024 22:39 13m 8s vrindisbacher/constructor-checking
vrindisbacher/constructor-checking
November 25, 2024 22:39 13m 8s
More whack-a-mole with scopes (#905) ci #1185: Commit 27f7e7c pushed by ranjitjhala
November 25, 2024 22:32 12m 51s main
main
November 25, 2024 22:32 12m 51s