Skip to content

Actions: Mate4b/mateprobe

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
80 workflow runs
80 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
Add external conformance evidence, executable pytest comparison and t… test-and-build #47: Commit 24675ef pushed by pablomate4b
1m 35s study/paper-evidence-hardening
study/paper-evidence-hardening
1m 35s
Merge pull request #1 from Mate4b/study/validator-audit-evidence documentation-and-published-examples #24: Commit 8d887d6 pushed by pablomate4b
33s main
main
33s
Merge pull request #1 from Mate4b/study/validator-audit-evidence test-and-build #46: Commit 8d887d6 pushed by pablomate4b
1m 36s main
main
1m 36s
Add reproducible validator studies with MateProbe compatibility replay documentation-and-published-examples #23: Pull request #1 synchronize by pablomate4b
16s study/validator-audit-evidence
study/validator-audit-evidence
16s
Add reproducible validator studies with MateProbe compatibility replay test-and-build #45: Pull request #1 synchronize by pablomate4b
1m 37s study/validator-audit-evidence
study/validator-audit-evidence
1m 37s
Merge MateProbe migration and preserve reproducible a3 validator studies test-and-build #44: Commit ef71096 pushed by pablomate4b
1m 18s study/validator-audit-evidence
study/validator-audit-evidence
1m 18s
documentation-and-published-examples documentation-and-published-examples #22: by pablomate4b
38s main
main
38s
test-and-build test-and-build #43: by pablomate4b
1m 24s main
main
1m 24s
Verify published MateProbe packages and documentation test-and-build #42: Pull request #3 opened by pablomate4b
1m 24s verify-mateprobe-publication
verify-mateprobe-publication
1m 24s
Verify published MateProbe packages and documentation documentation-and-published-examples #21: Pull request #3 opened by pablomate4b
17s verify-mateprobe-publication
verify-mateprobe-publication
17s
Verify MateProbe a4 on PyPI and test published documentation test-and-build #41: Commit ef50afd pushed by pablomate4b
1m 20s verify-mateprobe-publication
verify-mateprobe-publication
1m 20s
publish-verified-alpha-to-pypi publish-verified-alpha-to-pypi #9: Manually run by pablomate4b
44s main
main
44s
publish-verified-alpha-to-pypi publish-verified-alpha-to-pypi #8: Manually run by pablomate4b
56s main
main
56s
Pin the quickstart example to the renamed release test-and-build #40: Commit e842d66 pushed by pablomate4b
1m 20s v0.1.0a4
v0.1.0a4
1m 20s
publish-verified-alpha-to-pypi publish-verified-alpha-to-pypi #7: Manually run by pablomate4b
25s main
main
25s
Merge pull request #2 from Mate4b/rename-mateprobe documentation-and-published-examples #20: Commit 7318bfc pushed by pablomate4b
33s main
main
33s
Merge pull request #2 from Mate4b/rename-mateprobe test-and-build #39: Commit 7318bfc pushed by pablomate4b
1m 11s main
main
1m 11s
Rename Narrative Contracts to MateProbe by Mate4B test-and-build #38: Pull request #2 synchronize by pablomate4b
1m 20s rename-mateprobe
rename-mateprobe
1m 20s
Rename Narrative Contracts to MateProbe by Mate4B documentation-and-published-examples #19: Pull request #2 synchronize by pablomate4b
23s rename-mateprobe
rename-mateprobe
23s
Pin MateProbe a4 artifacts and document the publication boundary test-and-build #37: Commit 955e492 pushed by pablomate4b
1m 15s rename-mateprobe
rename-mateprobe
1m 15s
Rename Narrative Contracts to MateProbe by Mate4B documentation-and-published-examples #18: Pull request #2 synchronize by pablomate4b
26s rename-mateprobe
rename-mateprobe
26s
Rename Narrative Contracts to MateProbe by Mate4B test-and-build #36: Pull request #2 synchronize by pablomate4b
1m 9s rename-mateprobe
rename-mateprobe
1m 9s
Pin the quickstart example to the renamed release test-and-build #35: Commit e842d66 pushed by pablomate4b
1m 21s rename-mateprobe
rename-mateprobe
1m 21s
Rename Narrative Contracts to MateProbe by Mate4B documentation-and-published-examples #17: Pull request #2 opened by pablomate4b
28s rename-mateprobe
rename-mateprobe
28s
Rename Narrative Contracts to MateProbe by Mate4B test-and-build #34: Pull request #2 opened by pablomate4b
1m 27s rename-mateprobe
rename-mateprobe
1m 27s