Skip to content

Actions: BRonen/archon

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix(spec): mapping candidate and voter on votesReceived Specification Check CI #3: Commit 09aa7fe pushed by BRonen
1m 49s master
master
1m 49s
fix(spec): mapping candidate and voter on votesReceived Tests CI #15: Commit 09aa7fe pushed by BRonen
2m 13s master
master
2m 13s
Merge pull request #1 from BRonen/docs/add-quint-specification Tests CI #14: Commit e9033ee pushed by BRonen
2m 22s master
master
2m 22s
Merge pull request #1 from BRonen/docs/add-quint-specification Specification Check CI #2: Commit e9033ee pushed by BRonen
1m 37s master
master
1m 37s
feat: quint initial setup Tests CI #13: Pull request #1 synchronize by BRonen
2m 20s docs/add-quint-specification
docs/add-quint-specification
2m 20s
feat: quint initial setup Specification Check CI #1: Pull request #1 synchronize by BRonen
1m 46s docs/add-quint-specification
docs/add-quint-specification
1m 46s
feat: quint initial setup Tests CI #12: Pull request #1 synchronize by BRonen
2m 21s docs/add-quint-specification
docs/add-quint-specification
2m 21s
feat: add invariants checking on tests Tests CI #11: Commit b1d6db4 pushed by BRonen
2m 18s master
master
2m 18s
test: uncomment useful test Tests CI #10: Commit 7a2a5b5 pushed by BRonen
2m 26s master
master
2m 26s
fix: dropping expired timeouts Tests CI #9: Commit 46c15a3 pushed by BRonen
2m 26s master
master
2m 26s
feat: quint initial setup Tests CI #8: Pull request #1 synchronize by BRonen
2m 28s docs/add-quint-specification
docs/add-quint-specification
2m 28s
feat: quint initial setup Tests CI #7: Pull request #1 synchronize by BRonen
2m 13s docs/add-quint-specification
docs/add-quint-specification
2m 13s
refactor: moving deterministic simulation to its own package Tests CI #6: Commit 360dd9d pushed by BRonen
2m 27s master
master
2m 27s
feat: quint initial setup Tests CI #5: Pull request #1 synchronize by BRonen
2m 13s docs/add-quint-specification
docs/add-quint-specification
2m 13s
feat: quint initial setup Tests CI #4: Pull request #1 opened by BRonen
2m 14s docs/add-quint-specification
docs/add-quint-specification
2m 14s
feat: add deterministic simulator setup Tests CI #3: Commit 9976897 pushed by BRonen
2m 20s master
master
2m 20s
docs: update readme.org Tests CI #2: Commit 3fb4770 pushed by BRonen
52s master
master
52s
docs: add LICENSE Tests CI #1: Commit 1ac4b5a pushed by BRonen
2m 26s master
master
2m 26s