Skip to content

Actions: arthuraa/deriving

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #38 from proux01/mc1545 Nix Flake actions #11: Commit 8feda8d pushed by arthuraa
3m 31s master
master
3m 31s
Adapt to https://github.com/math-comp/math-comp/pull/1545 Nix Flake actions #10: Pull request #38 synchronize by arthuraa
3m 16s proux01:mc1545
proux01:mc1545
3m 16s
Adapt to https://github.com/math-comp/math-comp/pull/1545 Nix Flake actions #9: Pull request #38 synchronize by proux01
3m 18s proux01:mc1545
proux01:mc1545
3m 18s
Adapt to https://github.com/math-comp/math-comp/pull/1545 Nix Flake actions #8: Pull request #38 opened by proux01
3m 0s proux01:mc1545
proux01:mc1545
3m 0s
Record change. Nix Flake actions #7: Commit 991e199 pushed by arthuraa
3m 56s master
master
3m 56s
Merge pull request #37 from proux01/rocq21611 Nix Flake actions #6: Commit 1b12d1b pushed by arthuraa
3m 12s master
master
3m 12s
Adapt to https://github.com/rocq-prover/rocq/pull/21611 Nix Flake actions #5: Pull request #37 opened by proux01
3m 45s proux01:rocq21611
proux01:rocq21611
3m 45s
Add new CI badge to README. Nix Flake actions #4: Commit 1eac443 pushed by arthuraa
3m 23s master
master
3m 23s
Enable tests in GitHub Actions. Nix Flake actions #3: Commit 504a845 pushed by arthuraa
3m 36s master
master
3m 36s
Enable tests in GitHub Actions. Nix Flake actions #2: Commit 47c5ff4 pushed by arthuraa
13s master
master
13s
Use GitHub Actions instead of CircleCI. Nix Flake actions #1: Commit 6433fdc pushed by arthuraa
2m 22s master
master
2m 22s