Skip to content

Actions: argumentcomputer/lean4ix

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
4 workflow runs
4 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
ci: Increase test runner size (#1) CI #4: Commit 4a7b125 pushed by samuelburnham
3m 49s main
main
3m 49s
ci: Increase test runner size CI #3: Pull request #1 opened by samuelburnham
2m 39s ci-warp
ci-warp
2m 39s
ci: Switch to standalone repo with default main CI #2: Commit a4188d7 pushed by samuelburnham
12m 3s main
main
12m 3s
ci: Sync from upstream via the shared ci-workflows workflow (#7) CI #1: Commit f09e1cf pushed by samuelburnham
11m 16s dev
dev
11m 16s