Skip to content

Actions: arthuraa/extructures

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
28 workflow runs
28 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update migration guide. Nix Flake actions #29: Commit 3598c4f pushed by arthuraa
2m 31s master
master
2m 31s
Merge pull request #37 from proux01/mc1545 Nix Flake actions #28: Commit b2cdb97 pushed by arthuraa
2m 32s master
master
2m 32s
Adapt to https://github.com/math-comp/math-comp/pull/1545 Nix Flake actions #27: Pull request #37 synchronize by arthuraa
2m 13s proux01:mc1545
proux01:mc1545
2m 13s
Adapt to https://github.com/math-comp/math-comp/pull/1545 Nix Flake actions #25: Pull request #37 synchronize by proux01
Action required proux01:mc1545
proux01:mc1545
Action required
Adapt to https://github.com/math-comp/math-comp/pull/1545 Nix Flake actions #24: Pull request #37 opened by proux01
Action required proux01:mc1545
proux01:mc1545
Action required
Fix some discrepancies with finmap. Nix Flake actions #23: Commit b1b7788 pushed by arthuraa
2m 41s master
master
2m 41s
powerset -> fpowerset Nix Flake actions #22: Commit b10513a pushed by arthuraa
2m 38s master
master
2m 38s
Add coq-lsp to devShell. Nix Flake actions #21: Commit 900118d pushed by arthuraa
2m 42s master
master
2m 42s
Disable unavailable GitHub Actions check. Nix Flake actions #20: Commit cec4ace pushed by arthuraa
2m 17s master
master
2m 17s
Disable unavailable GitHub Actions check. Nix Flake actions #19: Commit 1ccd671 pushed by arthuraa
24s master
master
24s
Disable unavailable GitHub Actions check. Nix Flake actions #18: Commit 27a6c6e pushed by arthuraa
12s master
master
12s
Migration notes after meeting with Cyril Cohen. Nix Flake actions #17: Commit d8a62b3 pushed by arthuraa
2m 12s master
master
2m 12s
fdisjointC -> fdisjoint_sym. Nix Flake actions #16: Commit 9733be0 pushed by arthuraa
2m 8s master
master
2m 8s
Escape characters in equivalence table. Nix Flake actions #15: Commit bcd3c8f pushed by arthuraa
4m 25s master
master
4m 25s
Finish comparison table. Nix Flake actions #14: Commit 7108b2d pushed by arthuraa
5m 6s master
master
5m 6s
Start laying down more detailed comparison table. Nix Flake actions #13: Commit 3b9976c pushed by arthuraa
5m 25s master
master
5m 25s
fsubsetxx -> fsubset_refl. Nix Flake actions #12: Commit 1cf8cf0 pushed by arthuraa
4m 59s master
master
4m 59s
fset_rect -> fset1U_rect. Nix Flake actions #11: Commit 6b0dc49 pushed by arthuraa
3m 16s master
master
3m 16s
U1 -> 1U. Nix Flake actions #10: Commit d600ed6 pushed by arthuraa
3m 50s master
master
3m 50s
supp -> finsupp. Nix Flake actions #9: Commit fe1cf6e pushed by arthuraa
4m 18s master
master
4m 18s
Replace idempotent with idempotent_op. Nix Flake actions #8: Commit 05ecf70 pushed by arthuraa
4m 18s master
master
4m 18s
Remove colon notations from other files. Nix Flake actions #7: Commit 221342f pushed by arthuraa
6m 32s master
master
6m 32s
Migration notes for finmap. Nix Flake actions #6: Commit 7788a73 pushed by arthuraa
3m 29s master
master
3m 29s
Replace colon notations with finmap-style ones. Nix Flake actions #5: Commit e59152d pushed by arthuraa
3m 23s master
master
3m 23s
Migrate to GitHub actions. Nix Flake actions #4: Commit 43f380b pushed by arthuraa
3m 25s master
master
3m 25s