Skip to content

Actions: Wasm-DSL/spectec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
999 workflow runs
999 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
Rocq backend CI for specs #1045: Pull request #207 synchronize by DCupello1
10m 56s rocq-backend
rocq-backend
10m 56s
Rocq backend CI for spectec #1460: Pull request #207 synchronize by DCupello1
5m 16s rocq-backend
rocq-backend
5m 16s
Mechanization backend - stable branch CI for specs #1044: Pull request #234 synchronize by DCupello1
10m 53s mech-backend
mech-backend
10m 53s
Mechanization backend - stable branch CI for spectec #1459: Pull request #234 synchronize by DCupello1
5m 9s mech-backend
mech-backend
5m 9s
Rocq backend CI for spectec #1458: Pull request #207 synchronize by DCupello1
5m 27s rocq-backend
rocq-backend
5m 27s
Rocq backend CI for specs #1043: Pull request #207 synchronize by DCupello1
10m 50s rocq-backend
rocq-backend
10m 50s
Mechanization backend - stable branch CI for spectec #1457: Pull request #234 synchronize by DCupello1
5m 15s mech-backend
mech-backend
5m 15s
Mechanization backend - stable branch CI for specs #1042: Pull request #234 synchronize by DCupello1
10m 2s mech-backend
mech-backend
10m 2s
Mechanization backend - stable branch CI for spectec #1456: Pull request #234 synchronize by zilinc
5m 28s mech-backend
mech-backend
5m 28s
Mechanization backend - stable branch CI for specs #1041: Pull request #234 synchronize by zilinc
10m 47s mech-backend
mech-backend
10m 47s
Rocq backend CI for spectec #1455: Pull request #207 synchronize by DCupello1
5m 26s rocq-backend
rocq-backend
5m 26s
Rocq backend CI for specs #1040: Pull request #207 synchronize by DCupello1
10m 30s rocq-backend
rocq-backend
10m 30s
Mechanization backend - stable branch CI for specs #1039: Pull request #234 synchronize by DCupello1
11m 2s mech-backend
mech-backend
11m 2s
Mechanization backend - stable branch CI for spectec #1454: Pull request #234 synchronize by DCupello1
5m 54s mech-backend
mech-backend
5m 54s
Rocq backend CI for spectec #1453: Pull request #207 synchronize by DCupello1
5m 34s rocq-backend
rocq-backend
5m 34s
Rocq backend CI for specs #1038: Pull request #207 synchronize by DCupello1
10m 21s rocq-backend
rocq-backend
10m 21s
Mechanization backend - stable branch CI for spectec #1452: Pull request #234 synchronize by DCupello1
5m 29s mech-backend
mech-backend
5m 29s
Mechanization backend - stable branch CI for specs #1037: Pull request #234 synchronize by DCupello1
10m 32s mech-backend
mech-backend
10m 32s
[Spec] Soundness spec typos CI for specs #1036: Pull request #237 synchronize by DCupello1
10m 59s soundness-extension-typo
soundness-extension-typo
10m 59s
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