Skip to content

Actions: coln-project/Coln

Actions

Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
22 workflow runs
22 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
Merge pull request #70 from coln-project/coln-ls-rm-license Deploy #22: Commit 8f3b641 pushed by github-merge-queue Bot
44s main
main
44s
Merge pull request #40 from coln-project/coln-compiler/hlevels Deploy #21: Commit 1d16fff pushed by github-merge-queue Bot
42s main
main
42s
Merge pull request #76 from coln-project/merge-queue-test Deploy #20: Commit dc9ec7c pushed by github-merge-queue Bot
39s main
main
39s
Merge pull request #75 from coln-project/update-golden Deploy #19: Commit f8fe40a pushed by github-merge-queue Bot
42s main
main
42s
Merge pull request #74 from coln-project/accept-eof-without-nl Deploy #18: Commit 66a873f pushed by github-merge-queue Bot
45s main
main
45s
Merge pull request #69 from coln-project/wasm-lib-no-haskell-nix Deploy #17: Commit 698708e pushed by github-merge-queue Bot
50s main
main
50s
Merge pull request #63 from coln-project/coln-store/thiserror Deploy #16: Commit d5c61cf pushed by github-merge-queue Bot
44s main
main
44s
Merge pull request #67 from coln-project/coloured-diagnostics Deploy #15: Commit 435f3ed pushed by github-merge-queue Bot
52s main
main
52s
Update README.md Deploy #14: Commit 6ee4f19 pushed by olynch
54s main
main
54s
Merge pull request #68 from coln-project/readme-update Deploy #13: Commit 953a8af pushed by olynch
1m 5s main
main
1m 5s
Merge pull request #38 from coln-project/ts-ffi-trunk Deploy #12: Commit b484163 pushed by olynch
51s main
main
51s
Merge pull request #37 from coln-project/coln-ls Deploy #11: Commit 4e8f9de pushed by georgefst
1m 1s main
main
1m 1s
Merge pull request #36 from coln-project/rm-gitlab-ci Deploy #10: Commit 99d2890 pushed by olynch
1m 9s main
main
1m 9s
Merge pull request #35 from coln-project/hls Deploy #9: Commit 005806a pushed by manormandala
58s main
main
58s
Merge pull request #33 from coln-project/flakes Deploy #8: Commit 40f3030 pushed by olynch
4m 37s main
main
4m 37s
Merge pull request #30 from coln-project/fnotation/immediate Deploy #7: Commit f0470b5 pushed by olynch
1m 12s main
main
1m 12s
Merge pull request #27 from coln-project/coln-store/persist-cleanup Deploy #6: Commit 9f934db pushed by incipit0
1m 3s main
main
1m 3s
Merge pull request #12 from coln-project/realms Deploy #5: Commit b22f250 pushed by olynch
1m 3s main
main
1m 3s
Merge pull request #3 from coln-project/elaborator-work Deploy #4: Commit 5d35333 pushed by olynch
1m 0s main
main
1m 0s
Merge pull request #14 from coln-project/coln-engine/ci Deploy #3: Commit 915c4af pushed by olynch
53s main
main
53s
replace geolog with coln Deploy #2: Commit 128886b pushed by olynch
57s main
main
57s
deploy on push to main Deploy #1: Commit 25fa96a pushed by olynch
1m 11s main
main
1m 11s