Skip to content

Actions: omelkonian/formal-bitml

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
810 workflow runs
810 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #89: by github-pages bot
August 29, 2023 01:19 1m 1s gh-pages
gh-pages
August 29, 2023 01:19 1m 1s
CI CI #424: Scheduled
August 29, 2023 00:50 28m 33s master
master
August 29, 2023 00:50 28m 33s
pages build and deployment pages-build-deployment #88: by github-pages bot
August 28, 2023 01:25 52s gh-pages
gh-pages
August 28, 2023 01:25 52s
CI CI #423: Scheduled
August 28, 2023 00:51 34m 56s master
master
August 28, 2023 00:51 34m 56s
pages build and deployment pages-build-deployment #87: by github-pages bot
August 27, 2023 13:05 1m 0s gh-pages
gh-pages
August 27, 2023 13:05 1m 0s
Properties: remove spurious argument to TraceContract CI #422: Commit ba8876c pushed by omelkonian
August 27, 2023 12:29 36m 53s master
master
August 27, 2023 12:29 36m 53s
pages build and deployment pages-build-deployment #86: by github-pages bot
August 27, 2023 01:21 1m 5s gh-pages
gh-pages
August 27, 2023 01:21 1m 5s
CI CI #421: Scheduled
August 27, 2023 00:52 28m 42s master
master
August 27, 2023 00:52 28m 42s
pages build and deployment pages-build-deployment #85: by github-pages bot
August 26, 2023 01:19 1m 2s gh-pages
gh-pages
August 26, 2023 01:19 1m 2s
CI CI #420: Scheduled
August 26, 2023 00:48 30m 54s master
master
August 26, 2023 00:48 30m 54s
ProTip! You can narrow down the results and go further in time using created:<2023-08-26 or the other filters available.