Skip to content

Actions: AeneasVerif/charon

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,409 workflow runs
2,409 workflow runs

Filter by Workflow

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1084 from Nadrieril/fix-more-bugs Release #19: Commit 009c703 pushed by github-merge-queue bot
9m 15s main
main
9m 15s
Merge pull request #1084 from Nadrieril/fix-more-bugs Deploy Doc #422: Commit 009c703 pushed by github-merge-queue bot
2m 13s main
main
2m 13s
Merge pull request #1084 from Nadrieril/fix-more-bugs Build and test #3729: Commit 009c703 pushed by github-merge-queue bot
1m 1s main
main
1m 1s
Build and test Build and test #3728: Merge group checks requested
1m 1s
1m 1s
Fix a substitution bug Build and test #3727: Pull request #1084 synchronize by Nadrieril
6m 29s Nadrieril:fix-more-bugs
Nadrieril:fix-more-bugs
6m 29s
Fix a substitution bug Build and test #3726: Pull request #1084 synchronize by Nadrieril
2m 14s Nadrieril:fix-more-bugs
Nadrieril:fix-more-bugs
2m 14s
Fix a substitution bug Build and test #3725: Pull request #1084 opened by Nadrieril
22m 39s Nadrieril:fix-more-bugs
Nadrieril:fix-more-bugs
22m 39s
Merge pull request #1083 from Nadrieril/improve-error Release #18: Commit 5b13e43 pushed by github-merge-queue bot
7m 9s main
main
7m 9s
Merge pull request #1083 from Nadrieril/improve-error Build and test #3724: Commit 5b13e43 pushed by github-merge-queue bot
1m 2s main
main
1m 2s
Merge pull request #1083 from Nadrieril/improve-error Deploy Doc #421: Commit 5b13e43 pushed by github-merge-queue bot
2m 34s main
main
2m 34s
Build and test Build and test #3723: Merge group checks requested
1m 5s
1m 5s
Improve error when trying to lift an associated type in a type alias Build and test #3722: Pull request #1083 opened by Nadrieril
6m 28s Nadrieril:improve-error
Nadrieril:improve-error
6m 28s
Merge pull request #1082 from Nadrieril/robust-predicate-numbering Release #17: Commit 0540875 pushed by github-merge-queue bot
7m 26s main
main
7m 26s
Merge pull request #1082 from Nadrieril/robust-predicate-numbering Build and test #3721: Commit 0540875 pushed by github-merge-queue bot
1m 6s main
main
1m 6s
Merge pull request #1082 from Nadrieril/robust-predicate-numbering Deploy Doc #420: Commit 0540875 pushed by github-merge-queue bot
2m 21s main
main
2m 21s
Build and test Build and test #3720: Merge group checks requested
1m 6s
1m 6s
Make predicate numbering more robust Build and test #3719: Pull request #1082 opened by Nadrieril
7m 7s Nadrieril:robust-predicate-numbering
Nadrieril:robust-predicate-numbering
7m 7s
Merge pull request #1080 from oliver-butterley/oliver-butterley/issue… Release #16: Commit bab2ab3 pushed by github-merge-queue bot
6m 28s main
main
6m 28s
Merge pull request #1080 from oliver-butterley/oliver-butterley/issue… Build and test #3718: Commit bab2ab3 pushed by github-merge-queue bot
1m 1s main
main
1m 1s
Merge pull request #1080 from oliver-butterley/oliver-butterley/issue… Deploy Doc #419: Commit bab2ab3 pushed by github-merge-queue bot
2m 22s main
main
2m 22s
Build and test Build and test #3717: Merge group checks requested
1m 5s
1m 5s
Docs: update what_charon_translates.md Build and test #3716: Pull request #1080 synchronize by oliver-butterley
1m 19s oliver-butterley:oliver-butterley/issue1079
oliver-butterley:oliver-butterley/issue1079
1m 19s
Docs: update what_charon_translates.md Build and test #3715: Pull request #1080 opened by oliver-butterley
1m 8s oliver-butterley:oliver-butterley/issue1079
oliver-butterley:oliver-butterley/issue1079
1m 8s
Merge pull request #1077 from Nadrieril/fix-more-bugs Build and test #3714: Commit 2e050fb pushed by github-merge-queue bot
1m 6s main
main
1m 6s
Merge pull request #1077 from Nadrieril/fix-more-bugs Release #15: Commit 2e050fb pushed by github-merge-queue bot
5m 52s main
main
5m 52s