Skip to content

Actions: ahelwer/Examples

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update python scripts in response to breaking change in tree-sitter p… CI for EWD998 Trace Validation #4: Commit 65a043a pushed by ahelwer
May 15, 2024 20:46 10m 30s master
master
May 15, 2024 20:46 10m 30s
Update python scripts in response to breaking change in tree-sitter p… Check Specs & Metadata #33: Commit 65a043a pushed by ahelwer
May 15, 2024 20:46 12m 32s master
master
May 15, 2024 20:46 12m 32s
Add apalache to CI CI for EWD998 Trace Validation #3: Commit d562b17 pushed by ahelwer
April 20, 2024 04:10 10m 21s apalache-ci
apalache-ci
April 20, 2024 04:10 10m 21s
Remove pluscal checksums CI for EWD998 Trace Validation #2: Commit e2a1004 pushed by ahelwer
April 14, 2024 17:47 11m 51s pcal-always-translate
pcal-always-translate
April 14, 2024 17:47 11m 51s
Translate specs to unicode for baseline CI for EWD998 Trace Validation #1: Commit 8b1a53f pushed by ahelwer
April 12, 2024 14:37 17s pcal-unicode
pcal-unicode
April 12, 2024 14:37 17s