Skip to content

Actions: ftsrg/semantifyr

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
150 workflow runs
150 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump fsfe/reuse-action from 4 to 5 (#48)
Dependency Submission #11: Commit 388fdcb pushed by arminzavada
November 26, 2024 12:51 2m 28s main
November 26, 2024 12:51 2m 28s
Bump fsfe/reuse-action from 4 to 5 (#48)
Continuous Integration #98: Commit 388fdcb pushed by arminzavada
November 26, 2024 12:51 12m 1s main
November 26, 2024 12:51 12m 1s
github_actions in /. - Update #922137465
Dependabot Updates #22: by dependabot bot
November 25, 2024 13:16 34s
November 25, 2024 13:16 34s
gradle in /. - Update #922124261
Dependabot Updates #21: by dependabot bot
November 25, 2024 12:59 55s
November 25, 2024 12:59 55s
Bump fsfe/reuse-action from 4 to 5
Continuous Integration #97: Pull request #48 opened by dependabot bot
November 18, 2024 12:58 11m 9s dependabot/github_actions/fsfe/reuse-action-5
November 18, 2024 12:58 11m 9s
github_actions in /. - Update #918362933
Dependabot Updates #20: by dependabot bot
November 18, 2024 12:58 36s
November 18, 2024 12:58 36s
Bump mwe2 from 2.19.0 to 2.20.0
Continuous Integration #95: Pull request #46 opened by dependabot bot
November 18, 2024 12:46 11m 2s dependabot/gradle/mwe2-2.20.0
November 18, 2024 12:46 11m 2s
gradle in /. - Update #918352581
Dependabot Updates #19: by dependabot bot
November 18, 2024 12:45 48s
November 18, 2024 12:45 48s
#18 Implemented CEX Witness serialization
Continuous Integration #94: Pull request #41 synchronize by arminzavada
November 13, 2024 16:17 11m 18s issues/18/cex
November 13, 2024 16:17 11m 18s
#18 Implemented CEX Witness serialization
Continuous Integration #93: Pull request #41 synchronize by arminzavada
November 13, 2024 15:51 11m 10s issues/18/cex
November 13, 2024 15:51 11m 10s
#18 Implemented CEX Witness serialization
Continuous Integration #92: Pull request #41 synchronize by arminzavada
November 13, 2024 15:20 11m 7s issues/18/cex
November 13, 2024 15:20 11m 7s
#18 Implemented CEX Witness serialization
Continuous Integration #91: Pull request #41 synchronize by arminzavada
November 13, 2024 14:42 11m 27s issues/18/cex
November 13, 2024 14:42 11m 27s
#18 Implemented CEX Witness serialization
Continuous Integration #90: Pull request #41 synchronize by arminzavada
November 12, 2024 18:33 11m 11s issues/18/cex
November 12, 2024 18:33 11m 11s
github_actions in /. - Update #914880868
Dependabot Updates #18: by dependabot bot
November 11, 2024 12:42 37s
November 11, 2024 12:42 37s
gradle in /. - Update #914870761
Dependabot Updates #17: by dependabot bot
November 11, 2024 12:27 39s
November 11, 2024 12:27 39s
#18 Implemented CEX Witness serialization
Continuous Integration #89: Pull request #41 synchronize by arminzavada
November 8, 2024 13:52 10m 34s issues/18/cex
November 8, 2024 13:52 10m 34s
#18 Implemented CEX Witness serialization
Continuous Integration #88: Pull request #41 opened by arminzavada
November 7, 2024 19:23 10m 36s issues/18/cex
November 7, 2024 19:23 10m 36s
#22 Implemented 'static inline' that disables dynamic transition reso…
Dependency Submission #10: Commit 484a4bd pushed by arminzavada
November 7, 2024 19:17 1m 16s main
November 7, 2024 19:17 1m 16s
#22 Implemented 'static inline' that disables dynamic transition reso…
Continuous Integration #87: Commit 484a4bd pushed by arminzavada
November 7, 2024 19:17 10m 51s main
November 7, 2024 19:17 10m 51s
#22 Implemented 'static inline' that disables dynamic transition resolving
Continuous Integration #86: Pull request #40 opened by arminzavada
November 7, 2024 18:45 9m 58s issues/22/super-inline
November 7, 2024 18:45 9m 58s
Fixes reference bugs (#39)
Continuous Integration #85: Commit cf286ec pushed by arminzavada
November 7, 2024 17:45 10m 58s main
November 7, 2024 17:45 10m 58s
Fixes reference bugs (#39)
Dependency Submission #9: Commit cf286ec pushed by arminzavada
November 7, 2024 17:45 1m 12s main
November 7, 2024 17:45 1m 12s
Fixes reference bugs
Continuous Integration #84: Pull request #39 synchronize by arminzavada
November 7, 2024 14:35 10m 22s reference_bugfix
November 7, 2024 14:35 10m 22s
Fixes reference bugs
Continuous Integration #83: Pull request #39 synchronize by arminzavada
November 7, 2024 14:19 3m 9s reference_bugfix
November 7, 2024 14:19 3m 9s