Skip to content

Actions: rust-lang/a-mir-formality

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
544 workflow runs
544 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Merge pull request #366 from System625/coverage-report-generator Deploy mdBook site to Pages #136: Commit decbb6d pushed by github-merge-queue Bot
2m 38s main
main
2m 38s
Merge pull request #364 from Jengamon/check-adt-to-judge Deploy mdBook site to Pages #135: Commit eec0fd7 pushed by github-merge-queue Bot
2m 17s main
main
2m 17s
CI CI #994: Merge group checks requested
10m 16s
10m 16s
CI CI #993: Merge group checks requested
10m 26s
10m 26s
CI CI #992: Merge group checks requested
9m 55s
9m 55s
Add formality-coverage crate to generate markdown coverage report CI #991: Pull request #366 synchronize by System625
10m 7s System625:coverage-report-generator
System625:coverage-report-generator
10m 7s
convert check_adt to a judgement function CI #990: Pull request #364 synchronize by nikomatsakis
10m 25s Jengamon:check-adt-to-judge
Jengamon:check-adt-to-judge
10m 25s
convert check_adt to a judgement function CI #989: Pull request #364 synchronize by nikomatsakis
1m 22s Jengamon:check-adt-to-judge
Jengamon:check-adt-to-judge
1m 22s
Merge pull request #365 from tiif/dup_check Deploy mdBook site to Pages #134: Commit 2ceff66 pushed by github-merge-queue Bot
2m 35s main
main
2m 35s
Merge pull request #367 from rust-lang/formality-mdbook Deploy mdBook site to Pages #133: Commit 40d22f9 pushed by github-merge-queue Bot
2m 53s main
main
2m 53s
CI CI #988: Merge group checks requested
10m 24s
10m 24s
CI CI #987: Merge group checks requested
10m 27s
10m 27s
feat: convert check_neg_trait_impl to a judgment_fn CI #986: Pull request #368 opened by Mslady-jojo
Action required Mslady-jojo:feat/check-neg-trait-impl-291
Mslady-jojo:feat/check-neg-trait-impl-291
Action required
introduce formality-mdbook CI #985: Pull request #367 opened by nikomatsakis
7m 57s formality-mdbook
formality-mdbook
7m 57s
Add formality-coverage crate to generate markdown coverage report CI #984: Pull request #366 opened by System625
9m 52s System625:coverage-report-generator
System625:coverage-report-generator
9m 52s
Improve duplication check for normal and negative impl CI #983: Pull request #365 synchronize by tiif
9m 17s tiif:dup_check
tiif:dup_check
9m 17s
Improve duplication check for normal and negative impl CI #982: Pull request #365 opened by tiif
3m 42s tiif:dup_check
tiif:dup_check
3m 42s
convert check_adt to a judgement function CI #981: Pull request #364 opened by Jengamon
10m 8s Jengamon:check-adt-to-judge
Jengamon:check-adt-to-judge
10m 8s
Merge pull request #361 from System625/coverage-tracking Deploy mdBook site to Pages #132: Commit 6a60712 pushed by github-merge-queue Bot
1m 50s main
main
1m 50s
CI CI #980: Merge group checks requested
9m 25s
9m 25s
Add positive-test coverage tracking CI #978: Pull request #361 synchronize by System625
10m 7s System625:coverage-tracking
System625:coverage-tracking
10m 7s
Add positive-test coverage tracking CI #977: Pull request #361 synchronize by System625
9m 33s System625:coverage-tracking
System625:coverage-tracking
9m 33s
Merge pull request #362 from xonx4l/refactor-test-macros Deploy mdBook site to Pages #131: Commit 73f406c pushed by github-merge-queue Bot
1m 47s main
main
1m 47s
CI CI #976: Merge group checks requested
13m 41s
13m 41s
Refactor test macros to builder pattern CI #975: Pull request #362 opened by xonx4l
10m 15s xonx4l:refactor-test-macros
xonx4l:refactor-test-macros
10m 15s