Skip to content

[ fix ] Add dummy LSP handlers and release Agda v2.7.0.1 Language Ser… #15

[ fix ] Add dummy LSP handlers and release Agda v2.7.0.1 Language Ser…

[ fix ] Add dummy LSP handlers and release Agda v2.7.0.1 Language Ser… #15

build-and-test (macos-latest)

succeeded Dec 4, 2024 in 4m 7s
Set up job
3s
📥 Checkout repository
1s
🏗 Install yq (Windows)
0s
🔍 Determine Stack resolver & GHC version
0s
🏗 Setup Haskell
1m 40s
🔍 Determine Stack root
0s
💾 Restore cached stack global package db
15s
💾 Restore cached .stack-work
2s
Set PKG_CONFIG_PATH for the ICU library (on macOS)
0s
Install the icu library (on Windows)
0s
📸 Build Snapshot
0s
🧰 Build Dependencies
0s
🧰 Build ALS
28s
🧰 Build Testings
0s
💾 Cache stack global package db
33s
💾 Cache .stack-work
3s
📦 Bundle executable, DLLs and data files (on macOS)
2s
📦 Bundle executable, DLLs and data files (on Linux and macOS)
5s
📦 Bundle executable, DLLs and data files (on Windows)
0s
🧪 Run tests
33s
🚢 Release Artifacts
4s
Post 📥 Checkout repository
0s
Complete job
2s