Skip to content

Actions: formalsec/smtml

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Release 0.22.0 build-nix #236: Pull request #556 opened by filipeom
1m 42s release/v0.22.0
release/v0.22.0
1m 42s
Release 0.22.0 Build #1442: Pull request #556 opened by filipeom
37m 34s release/v0.22.0
release/v0.22.0
37m 34s
Release PR Release PR #31: Scheduled
3m 3s main
main
3m 3s
github_actions in /. - Update #1253695090 Dependabot Updates #86: by dependabot bot
36s main
main
36s
Attempt to fix colibri2 CI Build #1441: Pull request #548 synchronize by filipeom
7m 49s filipe/fix-colibri2
filipe/fix-colibri2
7m 49s
Attempt to fix colibri2 CI build-nix #235: Pull request #548 synchronize by filipeom
1m 36s filipe/fix-colibri2
filipe/fix-colibri2
1m 36s
Update CI to use pre-built images Build #1440: Pull request #547 synchronize by filipeom
8m 4s filipe/continue-updating-ci
filipe/continue-updating-ci
8m 4s
Update CI to use pre-built images build-nix #234: Pull request #547 synchronize by filipeom
1m 30s filipe/continue-updating-ci
filipe/continue-updating-ci
1m 30s
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