Skip to content
This repository was archived by the owner on Dec 9, 2025. It is now read-only.

Actions: mlaveaux/mCRL2-rust

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27 workflow runs
27 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
Added unmaintained notice Test #364: Commit 820a9d4 pushed by mlaveaux
21s main
main
21s
Added unmaintained notice Test Thread Sanitizer #202: Commit 820a9d4 pushed by mlaveaux
20s main
main
20s
Added unmaintained notice Nightly Build #351: Commit 820a9d4 pushed by mlaveaux
20s main
main
20s
Added unmaintained notice Benchmark #351: Commit 820a9d4 pushed by mlaveaux
21s main
main
21s
Added unmaintained notice Test Address Sanitizer #202: Commit 820a9d4 pushed by mlaveaux
23s main
main
23s
Added unmaintained notice Deploy Documentation to Pages #316: Commit 820a9d4 pushed by mlaveaux
20s main
main
20s
Compiler update changed this output Test Thread Sanitizer #201: Commit 60fab88 pushed by mlaveaux
54s main
main
54s
Compiler update changed this output Benchmark #350: Commit 60fab88 pushed by mlaveaux
1m 37s main
main
1m 37s
Compiler update changed this output Test #363: Commit 60fab88 pushed by mlaveaux
1m 11s main
main
1m 11s
Compiler update changed this output Nightly Build #350: Commit 60fab88 pushed by mlaveaux
1m 37s main
main
1m 37s
Compiler update changed this output Test Address Sanitizer #201: Commit 60fab88 pushed by mlaveaux
48s main
main
48s
Compiler update changed this output Deploy Documentation to Pages #315: Commit 60fab88 pushed by mlaveaux
2m 17s main
main
2m 17s
Feature/compact Test Thread Sanitizer #200: Pull request #21 opened by mlaveaux
50s feature/compact
feature/compact
50s
Feature/compact Test #362: Pull request #21 opened by mlaveaux
1m 4s feature/compact
feature/compact
1m 4s
Feature/compact Test Address Sanitizer #200: Pull request #21 opened by mlaveaux
55s feature/compact
feature/compact
55s
Feature/compact Nightly Build #349: Pull request #21 opened by mlaveaux
1m 26s feature/compact
feature/compact
1m 26s
Feature/compact Benchmark #349: Pull request #21 opened by mlaveaux
1m 58s feature/compact
feature/compact
1m 58s
Added naive (and less naive) signature that computes weak bisimilarity Test #361: Pull request #20 synchronize by jjmartens
2m 0s feature/weak
feature/weak
2m 0s
Added naive (and less naive) signature that computes weak bisimilarity Test Thread Sanitizer #199: Pull request #20 synchronize by jjmartens
36s feature/weak
feature/weak
36s
Added naive (and less naive) signature that computes weak bisimilarity Nightly Build #348: Pull request #20 synchronize by jjmartens
2m 3s feature/weak
feature/weak
2m 3s
Added naive (and less naive) signature that computes weak bisimilarity Test Address Sanitizer #199: Pull request #20 synchronize by jjmartens
33s feature/weak
feature/weak
33s
Added naive (and less naive) signature that computes weak bisimilarity Benchmark #348: Pull request #20 synchronize by jjmartens
1m 18s feature/weak
feature/weak
1m 18s
Added naive (and less naive) signature that computes weak bisimilarity Test Address Sanitizer #198: Pull request #20 opened by jjmartens
2m 27s feature/weak
feature/weak
2m 27s
Added naive (and less naive) signature that computes weak bisimilarity Test #360: Pull request #20 opened by jjmartens
15m 3s feature/weak
feature/weak
15m 3s
Added naive (and less naive) signature that computes weak bisimilarity Benchmark #347: Pull request #20 opened by jjmartens
15m 4s feature/weak
feature/weak
15m 4s