Skip to content

Actions: formalsec/smtml

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,607 workflow runs
2,607 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Attempt to fix colibri2 CI build-nix #233: Pull request #548 synchronize by filipeom
1m 35s filipe/fix-colibri2
filipe/fix-colibri2
1m 35s
Attempt to fix colibri2 CI Build #1439: Pull request #548 synchronize by filipeom
7m 39s filipe/fix-colibri2
filipe/fix-colibri2
7m 39s
Attempt to fix colibri2 CI Build #1438: Pull request #548 synchronize by filipeom
7m 49s filipe/fix-colibri2
filipe/fix-colibri2
7m 49s
Attempt to fix colibri2 CI build-nix #232: Pull request #548 synchronize by filipeom
1m 41s filipe/fix-colibri2
filipe/fix-colibri2
1m 41s
Attempt to fix colibri2 CI Build #1437: Pull request #548 opened by filipeom
7m 47s filipe/fix-colibri2
filipe/fix-colibri2
7m 47s
Attempt to fix colibri2 CI build-nix #231: Pull request #548 opened by filipeom
1m 35s filipe/fix-colibri2
filipe/fix-colibri2
1m 35s
Add SMTZilla training scripts build-nix #230: Pull request #542 synchronize by hra687261
1m 29s hra687261:smtzilla_training
hra687261:smtzilla_training
1m 29s
Add SMTZilla training scripts Build #1436: Pull request #542 synchronize by hra687261
38m 7s hra687261:smtzilla_training
hra687261:smtzilla_training
38m 7s
Update CI to use pre-built images Build #1435: Pull request #547 synchronize by filipeom
3m 57s filipe/continue-updating-ci
filipe/continue-updating-ci
3m 57s
Update CI to use pre-built images build-nix #229: Pull request #547 synchronize by filipeom
1m 47s filipe/continue-updating-ci
filipe/continue-updating-ci
1m 47s
Update CI to use pre-built images build-nix #228: Pull request #547 opened by filipeom
1m 47s filipe/continue-updating-ci
filipe/continue-updating-ci
1m 47s
Update CI to use pre-built images Build #1434: Pull request #547 opened by filipeom
8m 0s filipe/continue-updating-ci
filipe/continue-updating-ci
8m 0s
Start updating CI to use our custom images opam-repository #110: Commit f50d5bf pushed by filipeom
2m 35s main
main
2m 35s
Start updating CI to use our custom images Deploy documentation to Pages #487: Commit f50d5bf pushed by filipeom
6m 11s main
main
6m 11s
Start updating CI to use our custom images build-nix #227: Commit f50d5bf pushed by filipeom
1m 37s main
main
1m 37s
Start updating CI to use our custom images build-nix #226: Pull request #546 opened by filipeom
1m 39s filipe/update-ci
filipe/update-ci
1m 39s
Start updating CI to use our custom images Build #1433: Pull request #546 opened by filipeom
36m 17s filipe/update-ci
filipe/update-ci
36m 17s
Skip unecessary blocks .github/workflows/test-z3.yml #822: Commit be69983 pushed by filipeom
3m 9s filipe/test-ci
filipe/test-ci
3m 9s
Test containered z3 workflow .github/workflows/test-z3.yml #821: Commit 4021d2e pushed by filipeom
7m 32s filipe/test-ci
filipe/test-ci
7m 32s
Test containered z3 workflow .github/workflows/test-z3.yml #820: Commit 31483ed pushed by filipeom
2m 44s filipe/test-ci
filipe/test-ci
2m 44s
Test containered z3 workflow .github/workflows/test-z3.yml #819: Commit 053c3fc pushed by filipeom
2m 52s filipe/test-ci
filipe/test-ci
2m 52s
Test containered z3 workflow .github/workflows/test-z3.yml #818: Commit dcb4794 pushed by filipeom
2m 53s filipe/test-ci
filipe/test-ci
2m 53s
Add SMTZilla training scripts Build #1432: Pull request #542 synchronize by hra687261
37m 52s hra687261:smtzilla_training
hra687261:smtzilla_training
37m 52s
Add SMTZilla training scripts build-nix #225: Pull request #542 synchronize by hra687261
26s hra687261:smtzilla_training
hra687261:smtzilla_training
26s
Test containered z3 workflow .github/workflows/test-z3.yml #817: Commit dfdd37d pushed by filipeom
2m 45s filipe/test-ci
filipe/test-ci
2m 45s