Skip to content

Actions: ivogabe/accelerate

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
156 workflow runs
156 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
Defunctionalize weakenings (env :> env') CI #276: Commit da09c84 pushed by ivogabe
1h 0m 16s new-pipeline
new-pipeline
1h 0m 16s
CI CI #275: Scheduled
2h 36m 10s master
master
2h 36m 10s
CI CI #274: Scheduled
3h 44m 27s master
master
3h 44m 27s
Remove redundant 'take' CI #273: Commit c530bf6 pushed by ivogabe
23m 17s new-pipeline
new-pipeline
23m 17s
Small fixes and changes for atrace CI #272: Commit 6d61967 pushed by ivogabe
56m 33s new-pipeline
new-pipeline
56m 33s
Small Exp optimizations for case-of, boolean comparisons and Assume CI #271: Commit 8ce4850 pushed by ivogabe
47m 24s new-pipeline
new-pipeline
47m 24s
CI CI #270: Scheduled
4h 4m 22s master
master
4h 4m 22s
Add Trace CI #269: Pull request #16 synchronize by MikevanHuizen2912
53m 39s Doppie23:trace
Doppie23:trace
53m 39s
Add Trace CI #268: Pull request #16 synchronize by MikevanHuizen2912
21m 5s Doppie23:trace
Doppie23:trace
21m 5s
Add Trace CI #267: Pull request #16 synchronize by MikevanHuizen2912
19m 15s Doppie23:trace
Doppie23:trace
19m 15s
Use permute' and permuteUnique' in the prelude CI #266: Pull request #18 synchronize by Doppie23
27m 13s Doppie23:permute
Doppie23:permute
27m 13s
Use permute' and permuteUnique' in the prelude CI #265: Pull request #18 synchronize by Doppie23
17m 20s Doppie23:permute
Doppie23:permute
17m 20s
Use permute' and permuteUnique' in the prelude CI #264: Pull request #18 opened by Doppie23
13m 45s Doppie23:permute
Doppie23:permute
13m 45s
Simplify select over undef CI #263: Commit 86bdca4 pushed by ivogabe
1h 2m 19s new-pipeline
new-pipeline
1h 2m 19s
Fix fence in scheduling CI #262: Commit 0eea294 pushed by ivogabe
1h 12m 13s trace
trace
1h 12m 13s
CI CI #261: Scheduled
3h 19m 26s master
master
3h 19m 26s
Merge pull request #17 from Doppie23/new-pipeline-tracy CI #260: Commit b687b1b pushed by ivogabe
1h 3m 21s new-pipeline
new-pipeline
1h 3m 21s
CI CI #259: Scheduled
2h 56m 42s master
master
2h 56m 42s
Do not perform in-place updates on the input of awhile or returned va… CI #258: Commit 62b9d3e pushed by ivogabe
15m 7s new-pipeline
new-pipeline
15m 7s
Add Trace CI #257: Pull request #16 synchronize by MikevanHuizen2912
1h 37m 24s Doppie23:trace
Doppie23:trace
1h 37m 24s
Add Trace CI #256: Pull request #16 synchronize by MikevanHuizen2912
28m 38s Doppie23:trace
Doppie23:trace
28m 38s
Add Tracy support for the new pipeline CI #255: Pull request #17 opened by Doppie23
32m 42s Doppie23:new-pipeline-tracy
Doppie23:new-pipeline-tracy
32m 42s
Additional functions needed for scans in PTX backend CI #254: Commit cee1770 pushed by ivogabe
1h 39m 18s new-pipeline
new-pipeline
1h 39m 18s
CI CI #253: Scheduled
3h 9m 3s master
master
3h 9m 3s
Add Trace CI #252: Pull request #16 synchronize by MikevanHuizen2912
1h 2m 0s Doppie23:trace
Doppie23:trace
1h 2m 0s