Skip to content

Actions: AccelerateHS/accelerate

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
99 workflow runs
99 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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 #357: Scheduled
20m 43s master
master
20m 43s
Fix handling of known tag in case with default in simplifier (#564) CI #356: Commit 981db03 pushed by ivogabe
20m 58s master
master
20m 58s
Merge pull request #565 from Tjalle-S/update-stdlib CI #355: Commit 4583e76 pushed by ivogabe
18m 46s master
master
18m 46s
CI CI #354: Scheduled
25m 11s master
master
25m 11s
CI CI #353: Scheduled
16m 51s master
master
16m 51s
CI CI #352: Scheduled
19m 39s master
master
19m 39s
CI CI #351: Scheduled
16m 30s master
master
16m 30s
CI CI #350: Scheduled
21m 24s master
master
21m 24s
Small updates to standard library CI #349: Pull request #565 synchronize by Tjalle-S
29m 44s Tjalle-S:update-stdlib
Tjalle-S:update-stdlib
29m 44s
Small updates to standard library CI #348: Pull request #565 opened by Tjalle-S
32m 30s Tjalle-S:update-stdlib
Tjalle-S:update-stdlib
32m 30s
CI CI #347: Scheduled
20m 49s master
master
20m 49s
CI CI #346: Scheduled
28m 29s master
master
28m 29s
CI CI #345: Scheduled
49m 30s master
master
49m 30s
CI CI #344: Scheduled
16m 32s master
master
16m 32s
CI CI #343: Scheduled
22m 25s master
master
22m 25s
CI CI #342: Scheduled
17m 18s master
master
17m 18s
Hide DAA.Trafo.Var in haddocks CI #341: Commit fd89e94 pushed by tomsmeding
35m 13s master
master
35m 13s
Fix typo in cabalfile CI #340: Commit ac5c5c0 pushed by ivogabe
19m 12s master
master
19m 12s
Update changelog CI #339: Commit 477b0b3 pushed by tomsmeding
1h 31m 12s master
master
1h 31m 12s
CI CI #338: Scheduled
23m 55s master
master
23m 55s
CI CI #337: Scheduled
30m 56s master
master
30m 56s
CI CI #336: Scheduled
22m 27s master
master
22m 27s
CI CI #335: Scheduled
47m 45s master
master
47m 45s
CI CI #334: Scheduled
24m 12s master
master
24m 12s
CI CI #333: Scheduled
24m 59s master
master
24m 59s