Skip to content

Actions: Wasm-DSL/spectec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,017 workflow runs
1,017 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
Mechanization backend - stable branch CI for spectec #1451: Pull request #234 synchronize by DCupello1
5m 30s mech-backend
mech-backend
5m 30s
Mechanization backend - stable branch CI for specs #1035: Pull request #234 synchronize by DCupello1
10m 51s mech-backend
mech-backend
10m 51s
[Spec] Soundness spec typos CI for specs #1034: Pull request #237 synchronize by DCupello1
10m 3s soundness-extension-typo
soundness-extension-typo
10m 3s
[Spec] Soundness spec typos CI for specs #1033: Pull request #237 synchronize by DCupello1
11m 9s soundness-extension-typo
soundness-extension-typo
11m 9s
[Spec] Soundness spec typos CI for specs #1032: Pull request #237 synchronize by DCupello1
10m 52s soundness-extension-typo
soundness-extension-typo
10m 52s
Mechanization backend - stable branch CI for specs #1031: Pull request #234 synchronize by DCupello1
11m 19s mech-backend
mech-backend
11m 19s
Mechanization backend - stable branch CI for spectec #1450: Pull request #234 synchronize by DCupello1
9m 15s mech-backend
mech-backend
9m 15s
[Spec] Soundness spec typos CI for specs #1030: Pull request #237 opened by DCupello1
10m 54s soundness-extension-typo
soundness-extension-typo
10m 54s
Rocq backend CI for spectec #1449: Pull request #207 synchronize by DCupello1
9m 21s rocq-backend
rocq-backend
9m 21s
Rocq backend CI for specs #1029: Pull request #207 synchronize by DCupello1
10m 54s rocq-backend
rocq-backend
10m 54s
Mechanization backend - stable branch CI for specs #1028: Pull request #234 synchronize by DCupello1
11m 22s mech-backend
mech-backend
11m 22s
Mechanization backend - stable branch CI for spectec #1448: Pull request #234 synchronize by DCupello1
7m 45s mech-backend
mech-backend
7m 45s
Rocq backend CI for spectec #1447: Pull request #207 synchronize by DCupello1
8m 29s rocq-backend
rocq-backend
8m 29s
Rocq backend CI for specs #1027: Pull request #207 synchronize by DCupello1
10m 34s rocq-backend
rocq-backend
10m 34s
Mechanization backend - stable branch CI for specs #1026: Pull request #234 synchronize by DCupello1
10m 35s mech-backend
mech-backend
10m 35s
Mechanization backend - stable branch CI for spectec #1446: Pull request #234 synchronize by DCupello1
8m 33s mech-backend
mech-backend
8m 33s
Rocq backend CI for spectec #1445: Pull request #207 synchronize by DCupello1
9m 23s rocq-backend
rocq-backend
9m 23s
Rocq backend CI for specs #1025: Pull request #207 synchronize by DCupello1
10m 33s rocq-backend
rocq-backend
10m 33s
Mechanization backend - stable branch CI for spectec #1444: Pull request #234 synchronize by maximelegoupil
9m 32s mech-backend
mech-backend
9m 32s
Mechanization backend - stable branch CI for specs #1024: Pull request #234 synchronize by maximelegoupil
10m 48s mech-backend
mech-backend
10m 48s
Mechanization backend - stable branch CI for specs #1023: Pull request #234 synchronize by DCupello1
11m 2s mech-backend
mech-backend
11m 2s
Mechanization backend - stable branch CI for spectec #1443: Pull request #234 synchronize by DCupello1
7m 50s mech-backend
mech-backend
7m 50s
Rocq backend CI for spectec #1442: Pull request #207 synchronize by DCupello1
7m 34s rocq-backend
rocq-backend
7m 34s
Rocq backend CI for specs #1022: Pull request #207 synchronize by DCupello1
10m 39s rocq-backend
rocq-backend
10m 39s
Mechanization backend - stable branch CI for spectec #1441: Pull request #234 synchronize by DCupello1
9m 21s mech-backend
mech-backend
9m 21s