Skip to content

Actions: polarity-lang/codespan

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #6 from polarity-lang/fix-clippy-hints Rust CI #6: Commit c861bd6 pushed by BinderDavid
May 12, 2024 18:26 31s main
main
May 12, 2024 18:26 31s
Fix clippy hints Rust CI #5: Pull request #6 synchronize by BinderDavid
May 12, 2024 18:25 32s fix-clippy-hints
fix-clippy-hints
May 12, 2024 18:25 32s
Fix clippy hints Rust CI #4: Pull request #6 synchronize by BinderDavid
May 12, 2024 18:22 35s fix-clippy-hints
fix-clippy-hints
May 12, 2024 18:22 35s
Fix clippy hints Rust CI #3: Pull request #6 opened by BinderDavid
May 12, 2024 18:20 34s fix-clippy-hints
fix-clippy-hints
May 12, 2024 18:20 34s
Merge pull request #5 from polarity-lang/setup-ci Rust CI #2: Commit 6084454 pushed by BinderDavid
May 12, 2024 18:09 44s main
main
May 12, 2024 18:09 44s
Reenable CI Rust CI #1: Pull request #5 opened by BinderDavid
May 12, 2024 18:09 38s setup-ci
setup-ci
May 12, 2024 18:09 38s