Skip to content

Actions: tweag/cooked-validators

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
34 workflow run results
34 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bumping nixpkgs version
CI #343: Pull request #374 opened by mmontin
March 11, 2024 14:22 56m 28s hls-bump
March 11, 2024 14:22 56m 28s
Bump actions/checkout from 3 to 4 (#362)
CI #341: Commit ec25b63 pushed by mmontin
March 11, 2024 14:09 48m 9s main
March 11, 2024 14:09 48m 9s
Tests with coverage (#372)
CI #339: Commit 84693ad pushed by mmontin
February 16, 2024 18:04 47m 37s main
February 16, 2024 18:04 47m 37s
Tests with coverage
CI #338: Pull request #372 opened by florentc
February 16, 2024 17:14 48m 10s tests-with-coverage
February 16, 2024 17:14 48m 10s
pages build and deployment
pages-build-deployment #78: by github-pages bot
February 16, 2024 14:59 20s
February 16, 2024 14:59 20s
update changelog
CI #337: Commit b0aaec1 pushed by florentc
February 16, 2024 14:56 4m 20s main
February 16, 2024 14:56 4m 20s
pages build and deployment
pages-build-deployment #77: by github-pages bot
February 16, 2024 14:46 1m 7s
February 16, 2024 14:46 1m 7s
update changelog
CI #335: Commit 062beab pushed by mmontin
February 16, 2024 14:43 4m 17s main
February 16, 2024 14:43 4m 17s
Ltl there modifier
CI #334: Pull request #370 opened by mmontin
February 16, 2024 14:39 4m 21s there
February 16, 2024 14:39 4m 21s
pages build and deployment
pages-build-deployment #76: by github-pages bot
February 16, 2024 14:34 21s
February 16, 2024 14:34 21s
update changelog
CI #333: Commit b4a14ea pushed by florentc
February 16, 2024 14:32 4m 13s main
February 16, 2024 14:32 4m 13s
Currency v2
CI #332: Pull request #369 opened by mmontin
February 16, 2024 14:27 4m 14s currency-v2
February 16, 2024 14:27 4m 14s
pages build and deployment
pages-build-deployment #75: by github-pages bot
February 16, 2024 14:06 25s
February 16, 2024 14:06 25s
update changelog
CI #331: Commit 2e347fd pushed by mmontin
February 16, 2024 14:03 4m 9s main
February 16, 2024 14:03 4m 9s
Updated export list
CI #330: Pull request #368 synchronize by mmontin
February 16, 2024 13:56 4m 33s updated-export-list
February 16, 2024 13:56 4m 33s
Updated export list
CI #329: Pull request #368 opened by mmontin
February 16, 2024 13:51 4m 9s updated-export-list
February 16, 2024 13:51 4m 9s
pages build and deployment
pages-build-deployment #74: by github-pages bot
February 16, 2024 11:43 26s
February 16, 2024 11:43 26s
update changelog
CI #328: Commit 46a8f4c pushed by mmontin
February 16, 2024 10:59 46m 47s main
February 16, 2024 10:59 46m 47s
Printing unresolved txins
CI #327: Pull request #367 opened by mmontin
February 16, 2024 10:11 47m 35s printing-unresolved-txins
February 16, 2024 10:11 47m 35s