Skip to content
CI

autoOne functionality update for Agda v2.7.0 and up #163

Sign in to view logs

autoOne functionality update for Agda v2.7.0 and up

autoOne functionality update for Agda v2.7.0 and up #163

Re-run triggered October 8, 2024 20:20
@isovectorisovector
#156
iwashis:master
Status Success
Total duration 39m 48s
Artifacts –

ci.yml

on: pull_request
Stack Linux  /  Build
9m 39s
Stack Linux / Build
Stack macOS  /  Build
15m 11s
Stack macOS / Build
Stack Windows  /  Build
11m 18s
Stack Windows / Build
Nix Linux  /  Build Vim plugin
24s
Nix Linux / Build Vim plugin
Nix macOS  /  Build Vim plugin
1m 34s
Nix macOS / Build Vim plugin
Matrix: Nix Linux / build-package
Matrix: Nix macOS / build-package
Stack Linux  /  Test
3m 22s
Stack Linux / Test
Stack macOS  /  Test
5m 52s
Stack macOS / Test
Stack Windows  /  Test
14m 47s
Stack Windows / Test
Fit to window
Zoom out
Zoom in

Annotations

7 warnings
Nix macOS / Build Vim plugin
A brownout will take place on November 4, 14:00 UTC - November 5, 00:00 UTC to raise awareness of the upcoming macOS-12 environment removal. For more details, see https://github.com/actions/runner-images/issues/10721
Nix macOS / Build package (ghc96)
A brownout will take place on November 4, 14:00 UTC - November 5, 00:00 UTC to raise awareness of the upcoming macOS-12 environment removal. For more details, see https://github.com/actions/runner-images/issues/10721
Nix macOS / Build package (ghc94)
A brownout will take place on November 4, 14:00 UTC - November 5, 00:00 UTC to raise awareness of the upcoming macOS-12 environment removal. For more details, see https://github.com/actions/runner-images/issues/10721
Nix macOS / Build package (ghc92)
A brownout will take place on November 4, 14:00 UTC - November 5, 00:00 UTC to raise awareness of the upcoming macOS-12 environment removal. For more details, see https://github.com/actions/runner-images/issues/10721
Stack macOS / Build
A brownout will take place on November 4, 14:00 UTC - November 5, 00:00 UTC to raise awareness of the upcoming macOS-12 environment removal. For more details, see https://github.com/actions/runner-images/issues/10721
Stack macOS / Test
A brownout will take place on November 4, 14:00 UTC - November 5, 00:00 UTC to raise awareness of the upcoming macOS-12 environment removal. For more details, see https://github.com/actions/runner-images/issues/10721
Nix macOS / Build package (ghc810)
A brownout will take place on November 4, 14:00 UTC - November 5, 00:00 UTC to raise awareness of the upcoming macOS-12 environment removal. For more details, see https://github.com/actions/runner-images/issues/10721