Actions - cr1901/sentinel - Codeberg.org
This website requires JavaScript.
Logo Logo
Explore
About
FAQ
Help
Donate
Register
Sign in
cr1901
/
sentinel
Watch
2
Star
16
Fork
You've already forked sentinel
0
Code
Issues
11
Pull requests
Projects
4
Releases
5
Activity
Actions
All workflows
ci.yml
formal.yml
publish.yml
riscof.yml
update-yosys.yml
Disabled
Actor
All actors
cr1901
Status
All status
Blocked
Canceled
Failure
Running
Skipped
Success
Waiting
formal
formal.yml #185
- Scheduled run of commit
a05e9501ff
main
2026年07月12日 08:11:29 +02:00
10m3s
formal
formal.yml #184
- Scheduled run of commit
a05e9501ff
main
2026年07月05日 08:01:55 +02:00
10m2s
formal
formal.yml #183
- Scheduled run of commit
a05e9501ff
main
2026年06月28日 11:44:52 +02:00
10m2s
formal
formal.yml #182
- Scheduled run of commit
a05e9501ff
main
2026年06月21日 09:39:44 +02:00
10m4s
formal
formal.yml #181
- Scheduled run of commit
a05e9501ff
main
2026年06月14日 09:16:17 +02:00
10m4s
formal
formal.yml #180
- Scheduled run of commit
a05e9501ff
main
2026年06月07日 10:10:14 +02:00
10m2s
formal
formal.yml #179
- Scheduled run of commit
a05e9501ff
main
2026年05月31日 07:47:27 +02:00
10m1s
formal
formal.yml #178
- Run of commit
dcc23cb263
triggered by
cr1901
split-cover
2026年05月26日 04:27:32 +02:00
56m2s
formal
formal.yml #177
- Run of commit
2c63632e52
triggered by
cr1901
split-cover
2026年05月26日 02:43:53 +02:00
25m34s
formal
formal.yml #176
- Run of commit
b81f0e1bc2
triggered by
cr1901
split-cover
2026年05月26日 01:42:48 +02:00
0s
formal
formal.yml #175
- Run of commit
60817b992c
triggered by
cr1901
split-cover
2026年05月25日 21:56:57 +02:00
53m26s
Split formal job so that cover gets maximum time to run [no-ci].
ci.yml #174
- Commit
5edbd98cc5
pushed by
cr1901
split-cover
2026年05月25日 20:59:42 +02:00
12s
formal
formal.yml #173
- Scheduled run of commit
a05e9501ff
main
2026年05月25日 20:39:33 +02:00
10m1s
formal
formal.yml #172
- Scheduled run of commit
a05e9501ff
main
2026年05月19日 02:07:32 +02:00
10m2s
formal
formal.yml #171
- Scheduled run of commit
a05e9501ff
main
2026年05月10日 07:37:05 +02:00
35m58s
Make some doc updates that I forgot before cutting a release.
ci.yml #170
- Commit
a05e9501ff
pushed by
cr1901
next
2026年05月10日 05:28:36 +02:00
57m32s
Make some doc updates that I forgot before cutting a release.
ci.yml #169
- Commit
a05e9501ff
pushed by
cr1901
main
2026年05月10日 05:10:59 +02:00
40m41s
Update sent_latest_tag. Tag v0.1.0-beta.2.
ci.yml #168
- Commit
a157de2fdf
pushed by
cr1901
v0.1.0-beta.2
2026年05月10日 04:05:27 +02:00
1h45m39s
Update sent_latest_tag. Tag v0.1.0-beta.2.
ci.yml #167
- Commit
a157de2fdf
pushed by
cr1901
next
2026年05月10日 03:09:41 +02:00
1h4m53s
Update sent_latest_tag. Tag v0.1.0-beta.2.
ci.yml #166
- Commit
a157de2fdf
pushed by
cr1901
vdummy
2026年05月10日 01:58:07 +02:00
2m48s
Update sent_latest_tag. Tag v0.1.0-beta.2.
ci.yml #165
- Commit
62a5fffa7a
pushed by
cr1901
vdummy
2026年05月10日 01:42:25 +02:00
2s
Use codeberg-small to build docs for releases.
ci.yml #164
- Commit
e559e40a44
pushed by
cr1901
next
2026年05月10日 01:50:13 +02:00
23m25s
Update sent_latest_tag. Tag v0.1.0-beta.2.
ci.yml #163
- Commit
72e3baf59b
pushed by
cr1901
v0.1.0-beta.2
2026年05月10日 01:21:08 +02:00
2m30s
Fix/ignore a few Pylance/Pyright nits.
ci.yml #162
- Commit
e2d09e81e7
pushed by
cr1901
next
2026年05月08日 14:57:58 +02:00
58m6s
Fix workflow var propagation. Also, choose lazy runner if not called from main CI.
ci.yml #161
- Commit
5998ae5584
pushed by
cr1901
main
2026年05月07日 03:22:29 +02:00
27m37s
Fix workflow var propagation. Also, choose lazy runner if not called from main CI.
ci.yml #160
- Commit
5998ae5584
pushed by
cr1901
next
2026年05月07日 02:45:07 +02:00
10s
formal
formal.yml #159
- Run of commit
5998ae5584
triggered by
cr1901
vdummy
2026年05月07日 02:43:53 +02:00
10m16s
Fix workflow var propagation. Also, choose lazy runner if not called from main CI.
ci.yml #158
- Commit
5998ae5584
pushed by
cr1901
vdummy
2026年05月07日 02:43:47 +02:00
11s
Fix workflow var propagation. Also, choose lazy runner if not called from main CI.
ci.yml #157
- Commit
3b76d14d40
pushed by
cr1901
vdummy
2026年05月07日 02:17:54 +02:00
0s
formal
formal.yml #156
- Run of commit
98cdc6241c
triggered by
cr1901
reuse-prop
2026年05月07日 01:29:17 +02:00
10s
First
Previous
1
2
3
4
5
...
Next
Last
AltStyle
によって変換されたページ
(->オリジナル)
/
アドレス:
モード:
デフォルト
音声ブラウザ
ルビ付き
配色反転
文字拡大
モバイル